>> Google Books
所蔵情報QRコード

Mathematical theory of program correctness / Jaco de Bakker ; with the assistance of Arie de Bruin, Jeffery Zucker

資料種別:
図書
出版情報:
Englewood Cliffs, N.J. ; Tokyo : Prentice-Hall International, c1980
形態:
xvi, 505 p. ; 24 cm
シリーズ名:
Prentice-Hall International series in computer science <BA00010507>
著者名:
ISBN:
9780135621325 [0135621321]
書誌ID:
BA03002844
子書誌情報
Loading
フルテキスト
Loading contents information
所蔵情報
Loading availability information
他の版・巻

類似資料:

1 図書 Languages for parallel architectures : design, semantics, implementation models

Bakker, Jacobus Willem de, 1939-

Wiley
7 図書 The Correctness problem in computer science

Boyer, Robert S., Moore, J. Strother, 1947-

Academic Press
2 図書 Real-time : theory in practice : REX workshop, Mook, The Netherlands, June 3-7, 1991 : proceedings (: gw ; : us)

REX Workshop, Bakker, Jacobus Willem de, 1939-

Springer-Verlag
8 電子ブック Automata, Languages and Programming

International Colloquium on Automata, Languages, and Programming, Bakker, Jacobus Willem, Leeuwen, Jan

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 電子ブック Real-Time: Theory in Practice

REX Workshop, Bakker, Jacobus Willem

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
9 図書 Mathematics and computer science : proceedings of the CWI symposium, November 1983

Bakker, J. W. de (Jacobus Willem), 1939-, Hazewinkel, Michiel, Lenstra, J. K., Symposium on Mathematics and Computer …

North-Holland
4 電子ブック Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness

Bakker, Bakker, Jacobus Willem, Roever, W.-P de, Rozenberg, Grzegorz

SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
10 図書 Mathematical foundations of programming

Beckman, Frank S.

Addison-Wesley
5 図書 Stepwise refinement of distributed systems : models, formalisms, correctness : REX Workshop, Mook, the Netherlands, May 29-June 2, 1989, proceedings (: gw ; : us)

REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
11 図書 PARLE : parallel architectures and languages Europe, Eindhoven, The Netherlands, June 15-19, 1987 : proceedings (v. 1 : gw - v. 2 : us)

Conference on Parallel Architectures and Languages Europe, Bakker, Jacobus Willem de, 1939-, Nijman, A. J., Treleaven, …

Springer-Verlag
6 図書 Automata, languages and programming : seventh colloquium, Noordwijkerhout, the Netherlands, July 14-18, 1980 (: gw ; : us)

International Colloquium on Automata, Languages and Programming, Bakker, Jacobus Willem de, 1939-, Leeuwen, Jan van, …

Springer-Verlag
12 図書 Foundations of object-oriented languages : REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : proceedings (: gw ; : us)

REX School/Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz

Springer-Verlag
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12