Proof in VDM : a practitioner's guide | 静岡大学附属図書館 OPAC/myLibrary

>> Google Books

Proof in VDM : a practitioner's guide

フォーマット:: 図書
責任表示:: by Juan C. Bicarregui ... [et al.]
言語:: 英語
出版情報:: London ; New York : Springer-Verlag, c1994
形態:: xvi, 362 p. ; 24 cm
著者名:: Bicarregui, Juan C. (Juan Carlos), 1962- <DA08048587>
シリーズ名:: Formal approaches to computing and information technology (FACIT) <BA2187111X>
書誌ID:: BA21870999
ISBN:: 9780387198132 [038719813X] (: us)
9783540198130 [354019813X] (: gw)

子書誌情報

所蔵情報

Loading availability information

タイトルが類似している資料

書誌詳細

主題:	Automatic theorem proving; Computer software--Development; System design
分類・件名:	LCC : QA76.76.D47 DDC : 005.1/2 LCSH : Computer software -- Development LCSH : Automatic theorem proving LCSH : System design
LCCN:	93023655
注記:	Includes bibliographical references andindex
タイトル言語:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 The programming process : an introduction using VDM and Pascal Latham, John T. (John Timothy), 1959-, Bush, Vicky J. (Vicky Jane), 1954-, Cottam, Ian D. (Ian David), 1951- Addison-Wesley Pub. Co.	7 図書 Efficient checking of polynomials and proofs and the hardness of approximation problems Sudan, Madhu Springer-Verlag
2 図書 Introduction to liaison theory and deficiency modules Migliore, Juan C. (Juan Carlos), 1956- Birkhäuser	8 図書 Implementing mathematics with the Nuprl proof development system Constable, R. L. (Robert L.), Cornell University. Dept. of Computer Science Prentice-Hall
3 図書 Proof theory and automated deduction Goubault-Larrecq, Jean, Mackie, I. (Ian) Kluwer Academic	9 図書 Compositionality, concurrency and partial correctness : proof theories for networks of processes, and their relationship Zwiers, Job, 1956- Springer-Verlag
4 図書 Metamathematics, machines, and Gödel's proof Shankar, N. Cambridge University Press	10 図書 The international computer software industry : a comparative study of industry evolution and structure Mowery, David C. Oxford University Press
5 図書 A proof theory for general unification Snyder, Wayne, 1955- Birkhäuser	11 図書 UML distilled : a brief guide to the standard object modeling language Fowler, Martin Addison-Wesley
6 図書 Applied proof theory : proof interpretations and their use in mathematics Kohlenbach, U. (Ulrich) Springer	12 図書 The Programmer's apprentice Rich, Charles, 1951-, Waters, Richard C. ACM Press, Addison-Wesley