ロード中...

QRコード

Formal methods of program verification

other_versions_link

書誌詳細
第一著者:	Berg,H.K
フォーマット:	Printed Book
言語:	English
出版事項:	New Jersey Prentice-Hall

類似資料

ロード中...

Formal methods of program verification
著者:: Berg,H.K

ロード中...

Formal methods of program verification and specification
著者:: H K Berg, 等
出版事項: (1982)

ロード中...

Formal specification and verification of digital sytems
著者:: George Milne
出版事項: (1994)

ロード中...

Formal Specification And Verification Of Digital Systems
著者:: Milne, George
出版事項: (1994)

ロード中...

Formal specification and verification of digital systems /
著者:: Milne, George
出版事項: (1994)

ロード中...

Program Construction and Verification
著者:: Backhouse, Roland C
出版事項: (1986)

ロード中...

Program construction and verification /
著者:: Backhouse, Roland C .
出版事項: (1986)

ロード中...

Program construction and verification
著者:: Backhouse, Roland C; Author
出版事項: (1986)

ロード中...

Foundation of program verification /
著者:: Loeckx, Jacques
出版事項: (1983)

ロード中...

Verification of sequential and concurrent programs
著者:: Krzysztof r apt,Ernst -Rudiger olderog
出版事項: (1997)

ロード中...

Verification of sequential and concurrent programs /
著者:: Gries, David .
出版事項: (1991)

ロード中...

Verification Of Sequential And Concurrent Programs
著者:: Apt, Krzysztof R
出版事項: (1991)

ロード中...

Program verification using Ada
著者:: McGettrick, Andrew D; Author
出版事項: (1982)

ロード中...

Verification and meaning /
出版事項: (1976)

ロード中...

Practical design verification
著者:: Pradhan, Dhiraj K.
出版事項: (2009)

ロード中...

System validation and verification
著者:: Jeffrey O Grady
出版事項: (1998)

ロード中...

Validation and verification techniques for
著者:: Pratiksha Saxena

ロード中...

Validation and Verification techniques for
著者:: Saxena , P, Dr

ロード中...

Formal models in programming
著者:: Neuhold, E J
出版事項: (1985)

ロード中...

Stock verification in libraries: problems and solutions /
著者:: Gupta, S. R.
出版事項: (1990)

ロード中...

Stock verification in libraries : problems and solutions /
著者:: Gupta, S. R.
出版事項: (1990)

ロード中...

The way of z practical programming with formal methods
著者:: Jonathan Jacky
出版事項: (1997)

ロード中...

The way of Z: practical programming with formal methods
著者:: Jacky, Jonathan
出版事項: (1997)

ロード中...

Reconfigurable system design and verification
著者:: Hsiung, Pao-Ann
出版事項: (2009)

ロード中...

Logic Synthesis and Verification Algorithms/
著者:: Hachtel, G.D
出版事項: (2006)

ロード中...

Biometric technologies and verification systems
著者:: Vacca, John R.
出版事項: (2007)

ロード中...

Embedded systems design and verification
出版事項: (2013)

ロード中...

Verification and Validation in Scientific Computing
著者:: William L. Oberkampf
出版事項: (2013)

ロード中...

Protocol specification, testing and verification
著者:: Diaz, Michel
出版事項: (1986)

ロード中...

The Way of Z: practical programming with formal methods
著者:: Jacky, Jonathan
出版事項: (1997)

ロード中...

Embedded Systems Design and Verification
著者:: Zurawski Richard

ロード中...

The verification of arms control agreements
著者:: Bellany, Ian, 等
出版事項: (1983)

ロード中...

Logic synthesis and verification algorithms
著者:: Hachtel, Gary D
出版事項: (1996)

ロード中...

Embedded systems design and verification /
出版事項: (2009)

ロード中...

Kant's solution for verification in metaphysics /
著者:: Dryer, D. P.
出版事項: (2016)

ロード中...

Computer Programming and Formal Systems
著者:: Braffort P. and Hirschberg D.
出版事項: (1970)

ロード中...

Formal discription of programming concepts.
著者:: Neuhold, E.J
出版事項: (1991)

ロード中...

Computer programming and formal systems.
著者:: Braffort, P.ed
出版事項: (1970)

ロード中...

Formal Description of Programming Concepts
著者:: Erich J. Neuhold, Manfred Paul
出版事項: (1991)

ロード中...

Formal Development Of Programs And Proofs
著者:: Dijkstra, Edsger W
出版事項: (1990)