An introduction to formal program verification | 茨城大学附属図書館 OPAC

>> Google Books

QRコード(所蔵情報)

An introduction to formal program verification

フォーマット:: 図書
責任表示:: Ali Mili
言語:: 英語
出版情報:: New York : Van Nostrand Reinhold Co., c1985
形態:: xii, 291 p. ; 24 cm
著者名:: Mili, Ali <DA00069448>
書誌ID:: BA00040472
ISBN:: 9780442263225 [0442263228]

子書誌情報

所蔵情報

Loading availability information

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

詳細

主題:	Computer programs--Verification
分類・件名:	LCC : QA76.6 DDC : 001.64/2 LCSH : Computer programs -- Verification
LCCN:	84003528
注記:	Includes index
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Formal methods of program verification and specification Berg, H. K. (Helmut K.) Prentice-Hall	7 図書 Verifying concurrent processes using temporal logic Hailpern, Brent Tzion, 1955- Springer-Verlag
2 図書 The foundations of program verification Loeckx, Jacques, 1931-, Sieber, Kurt, Stansifer, Ryan D. B.G. Teubner, Wiley	8 図書 Axiomatic proof techniques for parallel programs Owicki, Susan Speer Garland Pub.
3 図書 Program verification using Ada McGettrick, Andrew D., 1944- Cambridge University Press	9 図書 A programming logic : with an introduction to the PL/CV verifier Constable, R. L. (Robert L.), O'Donnell, Michael J., 1952-, Johnson, Scott D. Winthrop Publishers
4 図書 Automatic verification of programs with complex data structures 鈴木, 則久(1946-) Garland Pub.	10 図書 Verification of sequential and concurrent programs Apt, Krzysztof R., 1949-, Olderog, E.-R. Springer-Verlag
5 図書 An introduction to the PL/CV2 programming logic Constable, R. L. (Robert L.), Johnson, Scott D., Eichenlaub, C. D. Springer-Verlag	11 図書 A Survey of verification techniques for parallel programs Barringer, Howard, 1951- Springer-Verlag
6 図書 Compiler specification and verification Polak, Wolfgang, 1950- Springer-Verlag	12 図書 A programming approach to formal methods Casey, Chris McGraw-Hill Book Co.