Yazar

oxford university computing laboratory

20 cilt bulundu.

Cilt sonuçları

B (Computer program language)The Logic of B.P. H. B. Gardiner, T. N. Vickers

The Logic of B.

P. H. B. Gardiner, T. N. Vickers · Yayınevi bilinmiyor

62 sayfa · 1991

B (Computer program language)

Formal methods (Computer science)Specification and Proof in Real-time SystemsJim Davies

Specification and Proof in Real-time Systems

Jim Davies · Yayınevi bilinmiyor

200 sayfa · 1991

Formal methods (Computer science)

Computer networksThe Specification of Network ServicesJonathan Bowen, Roger Gimson, Stig Topp-Jørgensen

The Specification of Network Services

Jonathan Bowen, Roger Gimson, Stig Topp-Jørgensen · Yayınevi bilinmiyor

106 sayfa · 1987

Computer networks

Computer softwareSpecifications, Programs and ImplementationsC. A. R. Hoare

Specifications, Programs and Implementations

C. A. R. Hoare · Yayınevi bilinmiyor

29 sayfa · 1982

Computer software

1 - 1.0 - Base - Langage - Norme - Notation - Programmation - Version - ZZ Base StandardS. M. Brien, John E. Nicholls

Z Base Standard

S. M. Brien, John E. Nicholls · Yayınevi bilinmiyor

202 sayfa · 1992

1 - 1.0 - Base - Langage - Norme - Notation - Programmation - Version - Z

Computer programmingDevelopment Methods for Computer Programs Including a Notion of InterferenceC. B. Jones

Development Methods for Computer Programs Including a Notion of Interference

C. B. Jones · Yayınevi bilinmiyor

260 sayfa · 1981

Computer programming

Computer programsFour Pieces on Error, Truth and RealityJ. A. Goguen

Four Pieces on Error, Truth and Reality

J. A. Goguen · Yayınevi bilinmiyor

33 sayfa · 1990

Computer programs

Parallel processing (Electronic computers)An Introduction to CSPJ. W. Sanders

An Introduction to CSP

J. W. Sanders · Yayınevi bilinmiyor

29 sayfa · 1988

Parallel processing (Electronic computers)

Computational complexityInvestigations Into the Complexity of Some Propositional CalculiMarcello D'Agostino

Investigations Into the Complexity of Some Propositional Calculi

Marcello D'Agostino · Yayınevi bilinmiyor

131 sayfa · 1990

Computational complexity

Operating systems (Computers)Abstract Machine Support for Purely Functional Operating SystemsS. B. Jones

Abstract Machine Support for Purely Functional Operating Systems

S. B. Jones · Yayınevi bilinmiyor

37 sayfa · 1983

Operating systems (Computers)

Computer softwareThe Design and Implementation of Programming LanguagesJohn Hughes

The Design and Implementation of Programming Languages

John Hughes · Yayınevi bilinmiyor

130 sayfa · 1984

Computer software

Categories (Mathematics)Indexed Categories as a Tool for the Semantics of ComputationAndrzej Tarlecki, R. M. Burstall, Joseph Goguen

Indexed Categories as a Tool for the Semantics of Computation

Andrzej Tarlecki, R. M. Burstall, Joseph Goguen · Yayınevi bilinmiyor

27 sayfa · 1989

Categories (Mathematics)

Formal languagesA Calculus of Total Correctness for Communicating ProcessesCharles Antony Richard Hoare

A Calculus of Total Correctness for Communicating Processes

Charles Antony Richard Hoare · Yayınevi bilinmiyor

31 sayfa · 1981

Formal languages

Computer softwareA Tutorial on Proof in Standard ZStephen Brien, Andrew Martin

A Tutorial on Proof in Standard Z

Stephen Brien, Andrew Martin · Yayınevi bilinmiyor

70 sayfa · 1996

Computer software

Abstract data types (Computer science)Qualified TypesMark P. Jones

Qualified Types

Mark P. Jones · Yayınevi bilinmiyor

176 sayfa · 1992

Abstract data types (Computer science)

Computer softwareEquational Reasoning Support for OrwellStephen Paul Wilson

Equational Reasoning Support for Orwell

Stephen Paul Wilson · Yayınevi bilinmiyor

97 sayfa · 1993

Computer software

Binary system (Mathematics)Formal Methods Applied to a Floating Point Number SystemGeoff Barrett

Formal Methods Applied to a Floating Point Number System

Geoff Barrett · Yayınevi bilinmiyor

47 sayfa · 1987

Binary system (Mathematics)

Computer programmingPartial Correctness of Communicating Processes and ProtocolsZhou Chao Chen, Z. C. Chen, C. A. R. Hoare

Partial Correctness of Communicating Processes and Protocols

Zhou Chao Chen, Z. C. Chen, C. A. R. Hoare · Yayınevi bilinmiyor

23 sayfa · 1981

Computer programming

Computer softwareCorrectness and Communication in Real-time SystemsSteve Schneider, Oxford University Computing Laboratory. Programming Research Group

Correctness and Communication in Real-time Systems

Steve Schneider, Oxford University Computing Laboratory. Programming Research Group · Yayınevi bilinmiyor

211 sayfa · 1990

Computer software

ComputersDesign, Implementation and Evaluation of a Declarative Object-oriented Programming LanguageAdolfo J. Socorro Ramos

Design, Implementation and Evaluation of a Declarative Object-oriented Programming Language

Adolfo J. Socorro Ramos · Yayınevi bilinmiyor

207 sayfa · 1993

Computers