Formal methods of program verification

Détails bibliographiques
Auteur principal:	Berg,H.K
Format:	Printed Book
Langue:	English
Publié:	New Jersey Prentice-Hall

Chargement en cours...

Formal methods of program verification
par: Berg,H.K

Chargement en cours...

Formal methods of program verification and specification
par: H K Berg, et autres
Publié: (1982)

Chargement en cours...

Formal specification and verification of digital sytems
par: George Milne
Publié: (1994)

Chargement en cours...

Formal Specification And Verification Of Digital Systems
par: Milne, George
Publié: (1994)

Chargement en cours...

Formal specification and verification of digital systems /
par: Milne, George
Publié: (1994)

Chargement en cours...

Program Construction and Verification
par: Backhouse, Roland C
Publié: (1986)

Chargement en cours...

Program construction and verification /
par: Backhouse, Roland C .
Publié: (1986)

Chargement en cours...

Program construction and verification
par: Backhouse, Roland C; Author
Publié: (1986)

Chargement en cours...

Foundation of program verification /
par: Loeckx, Jacques
Publié: (1983)

Chargement en cours...

Verification of sequential and concurrent programs
par: Krzysztof r apt,Ernst -Rudiger olderog
Publié: (1997)

Chargement en cours...

Verification of sequential and concurrent programs /
par: Gries, David .
Publié: (1991)

Chargement en cours...

Verification Of Sequential And Concurrent Programs
par: Apt, Krzysztof R
Publié: (1991)

Chargement en cours...

Program verification using Ada
par: McGettrick, Andrew D; Author
Publié: (1982)

Chargement en cours...

Verification and meaning /
Publié: (1976)

Chargement en cours...

Practical design verification
par: Pradhan, Dhiraj K.
Publié: (2009)

Chargement en cours...

System validation and verification
par: Jeffrey O Grady
Publié: (1998)

Chargement en cours...

Validation and verification techniques for
par: Pratiksha Saxena

Chargement en cours...

Validation and Verification techniques for
par: Saxena , P, Dr

Chargement en cours...

Formal models in programming
par: Neuhold, E J
Publié: (1985)

Chargement en cours...

Stock verification in libraries: problems and solutions /
par: Gupta, S. R.
Publié: (1990)

Chargement en cours...

Stock verification in libraries : problems and solutions /
par: Gupta, S. R.
Publié: (1990)

Chargement en cours...

The way of z practical programming with formal methods
par: Jonathan Jacky
Publié: (1997)

Chargement en cours...

The way of Z: practical programming with formal methods
par: Jacky, Jonathan
Publié: (1997)

Chargement en cours...

Reconfigurable system design and verification
par: Hsiung, Pao-Ann
Publié: (2009)

Chargement en cours...

Logic Synthesis and Verification Algorithms/
par: Hachtel, G.D
Publié: (2006)

Chargement en cours...

Biometric technologies and verification systems
par: Vacca, John R.
Publié: (2007)

Chargement en cours...

Embedded systems design and verification
Publié: (2013)

Chargement en cours...

Verification and Validation in Scientific Computing
par: William L. Oberkampf
Publié: (2013)

Chargement en cours...

Protocol specification, testing and verification
par: Diaz, Michel
Publié: (1986)

Chargement en cours...

The Way of Z: practical programming with formal methods
par: Jacky, Jonathan
Publié: (1997)

Chargement en cours...

Embedded Systems Design and Verification
par: Zurawski Richard

Chargement en cours...

The verification of arms control agreements
par: Bellany, Ian, et autres
Publié: (1983)

Chargement en cours...

Logic synthesis and verification algorithms
par: Hachtel, Gary D
Publié: (1996)

Chargement en cours...

Embedded systems design and verification /
Publié: (2009)

Chargement en cours...

Kant's solution for verification in metaphysics /
par: Dryer, D. P.
Publié: (2016)

Chargement en cours...

Computer Programming and Formal Systems
par: Braffort P. and Hirschberg D.
Publié: (1970)

Chargement en cours...

Formal discription of programming concepts.
par: Neuhold, E.J
Publié: (1991)

Chargement en cours...

Computer programming and formal systems.
par: Braffort, P.ed
Publié: (1970)

Chargement en cours...

Formal Description of Programming Concepts
par: Erich J. Neuhold, Manfred Paul
Publié: (1991)

Chargement en cours...

Formal Development Of Programs And Proofs
par: Dijkstra, Edsger W
Publié: (1990)

Formal methods of program verification

Documents similaires

Documents similaires