Wird geladen...

QR-Code

Formal methods of program verification

other_versions_link

Bibliographische Detailangaben
1. Verfasser:	Berg,H.K
Format:	Printed Book
Sprache:	English
Veröffentlicht:	New Jersey Prentice-Hall

Ähnliche Einträge

Wird geladen...

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

Wird geladen...

Formal methods of program verification and specification
von: H K Berg, et al.
Veröffentlicht: (1982)

Wird geladen...

Formal specification and verification of digital sytems
von: George Milne
Veröffentlicht: (1994)

Wird geladen...

Formal Specification And Verification Of Digital Systems
von: Milne, George
Veröffentlicht: (1994)

Wird geladen...

Formal specification and verification of digital systems /
von: Milne, George
Veröffentlicht: (1994)

Wird geladen...

Program Construction and Verification
von: Backhouse, Roland C
Veröffentlicht: (1986)

Wird geladen...

Program construction and verification /
von: Backhouse, Roland C .
Veröffentlicht: (1986)

Wird geladen...

Program construction and verification
von: Backhouse, Roland C; Author
Veröffentlicht: (1986)

Wird geladen...

Foundation of program verification /
von: Loeckx, Jacques
Veröffentlicht: (1983)

Wird geladen...

Verification of sequential and concurrent programs
von: Krzysztof r apt,Ernst -Rudiger olderog
Veröffentlicht: (1997)

Wird geladen...

Verification of sequential and concurrent programs /
von: Gries, David .
Veröffentlicht: (1991)

Wird geladen...

Verification Of Sequential And Concurrent Programs
von: Apt, Krzysztof R
Veröffentlicht: (1991)

Wird geladen...

Program verification using Ada
von: McGettrick, Andrew D; Author
Veröffentlicht: (1982)

Wird geladen...

Verification and meaning /
Veröffentlicht: (1976)

Wird geladen...

Practical design verification
von: Pradhan, Dhiraj K.
Veröffentlicht: (2009)

Wird geladen...

System validation and verification
von: Jeffrey O Grady
Veröffentlicht: (1998)

Wird geladen...

Validation and verification techniques for
von: Pratiksha Saxena

Wird geladen...

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

Wird geladen...

Formal models in programming
von: Neuhold, E J
Veröffentlicht: (1985)

Wird geladen...

Stock verification in libraries: problems and solutions /
von: Gupta, S. R.
Veröffentlicht: (1990)

Wird geladen...

Stock verification in libraries : problems and solutions /
von: Gupta, S. R.
Veröffentlicht: (1990)

Wird geladen...

The way of z practical programming with formal methods
von: Jonathan Jacky
Veröffentlicht: (1997)

Wird geladen...

The way of Z: practical programming with formal methods
von: Jacky, Jonathan
Veröffentlicht: (1997)

Wird geladen...

Reconfigurable system design and verification
von: Hsiung, Pao-Ann
Veröffentlicht: (2009)

Wird geladen...

Logic Synthesis and Verification Algorithms/
von: Hachtel, G.D
Veröffentlicht: (2006)

Wird geladen...

Biometric technologies and verification systems
von: Vacca, John R.
Veröffentlicht: (2007)

Wird geladen...

Embedded systems design and verification
Veröffentlicht: (2013)

Wird geladen...

Verification and Validation in Scientific Computing
von: William L. Oberkampf
Veröffentlicht: (2013)

Wird geladen...

Protocol specification, testing and verification
von: Diaz, Michel
Veröffentlicht: (1986)

Wird geladen...

The Way of Z: practical programming with formal methods
von: Jacky, Jonathan
Veröffentlicht: (1997)

Wird geladen...

Embedded Systems Design and Verification
von: Zurawski Richard

Wird geladen...

The verification of arms control agreements
von: Bellany, Ian, et al.
Veröffentlicht: (1983)

Wird geladen...

Logic synthesis and verification algorithms
von: Hachtel, Gary D
Veröffentlicht: (1996)

Wird geladen...

Embedded systems design and verification /
Veröffentlicht: (2009)

Wird geladen...

Kant's solution for verification in metaphysics /
von: Dryer, D. P.
Veröffentlicht: (2016)

Wird geladen...

Computer Programming and Formal Systems
von: Braffort P. and Hirschberg D.
Veröffentlicht: (1970)

Wird geladen...

Formal discription of programming concepts.
von: Neuhold, E.J
Veröffentlicht: (1991)

Wird geladen...

Computer programming and formal systems.
von: Braffort, P.ed
Veröffentlicht: (1970)

Wird geladen...

Formal Description of Programming Concepts
von: Erich J. Neuhold, Manfred Paul
Veröffentlicht: (1991)

Wird geladen...

Formal Development Of Programs And Proofs
von: Dijkstra, Edsger W
Veröffentlicht: (1990)