Načítá se...

QR kód

Formal methods of program verification

other_versions_link

Podrobná bibliografie
Hlavní autor:	Berg,H.K
Médium:	Printed Book
Jazyk:	English
Vydáno:	New Jersey Prentice-Hall

Podobné jednotky

Načítá se...

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

Načítá se...

Formal methods of program verification and specification
Autor: H K Berg, a další
Vydáno: (1982)

Načítá se...

Formal specification and verification of digital sytems
Autor: George Milne
Vydáno: (1994)

Načítá se...

Formal Specification And Verification Of Digital Systems
Autor: Milne, George
Vydáno: (1994)

Načítá se...

Formal specification and verification of digital systems /
Autor: Milne, George
Vydáno: (1994)

Načítá se...

Program Construction and Verification
Autor: Backhouse, Roland C
Vydáno: (1986)

Načítá se...

Program construction and verification /
Autor: Backhouse, Roland C .
Vydáno: (1986)

Načítá se...

Program construction and verification
Autor: Backhouse, Roland C; Author
Vydáno: (1986)

Načítá se...

Foundation of program verification /
Autor: Loeckx, Jacques
Vydáno: (1983)

Načítá se...

Verification of sequential and concurrent programs
Autor: Krzysztof r apt,Ernst -Rudiger olderog
Vydáno: (1997)

Načítá se...

Verification of sequential and concurrent programs /
Autor: Gries, David .
Vydáno: (1991)

Načítá se...

Verification Of Sequential And Concurrent Programs
Autor: Apt, Krzysztof R
Vydáno: (1991)

Načítá se...

Program verification using Ada
Autor: McGettrick, Andrew D; Author
Vydáno: (1982)

Načítá se...

Verification and meaning /
Vydáno: (1976)

Načítá se...

Practical design verification
Autor: Pradhan, Dhiraj K.
Vydáno: (2009)

Načítá se...

System validation and verification
Autor: Jeffrey O Grady
Vydáno: (1998)

Načítá se...

Validation and verification techniques for
Autor: Pratiksha Saxena

Načítá se...

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

Načítá se...

Formal models in programming
Autor: Neuhold, E J
Vydáno: (1985)

Načítá se...

Stock verification in libraries: problems and solutions /
Autor: Gupta, S. R.
Vydáno: (1990)

Načítá se...

Stock verification in libraries : problems and solutions /
Autor: Gupta, S. R.
Vydáno: (1990)

Načítá se...

The way of z practical programming with formal methods
Autor: Jonathan Jacky
Vydáno: (1997)

Načítá se...

The way of Z: practical programming with formal methods
Autor: Jacky, Jonathan
Vydáno: (1997)

Načítá se...

Reconfigurable system design and verification
Autor: Hsiung, Pao-Ann
Vydáno: (2009)

Načítá se...

Logic Synthesis and Verification Algorithms/
Autor: Hachtel, G.D
Vydáno: (2006)

Načítá se...

Biometric technologies and verification systems
Autor: Vacca, John R.
Vydáno: (2007)

Načítá se...

Embedded systems design and verification
Vydáno: (2013)

Načítá se...

Verification and Validation in Scientific Computing
Autor: William L. Oberkampf
Vydáno: (2013)

Načítá se...

Protocol specification, testing and verification
Autor: Diaz, Michel
Vydáno: (1986)

Načítá se...

The Way of Z: practical programming with formal methods
Autor: Jacky, Jonathan
Vydáno: (1997)

Načítá se...

Embedded Systems Design and Verification
Autor: Zurawski Richard

Načítá se...

The verification of arms control agreements
Autor: Bellany, Ian, a další
Vydáno: (1983)

Načítá se...

Logic synthesis and verification algorithms
Autor: Hachtel, Gary D
Vydáno: (1996)

Načítá se...

Embedded systems design and verification /
Vydáno: (2009)

Načítá se...

Kant's solution for verification in metaphysics /
Autor: Dryer, D. P.
Vydáno: (2016)

Načítá se...

Computer Programming and Formal Systems
Autor: Braffort P. and Hirschberg D.
Vydáno: (1970)

Načítá se...

Formal discription of programming concepts.
Autor: Neuhold, E.J
Vydáno: (1991)

Načítá se...

Computer programming and formal systems.
Autor: Braffort, P.ed
Vydáno: (1970)

Načítá se...

Formal Description of Programming Concepts
Autor: Erich J. Neuhold, Manfred Paul
Vydáno: (1991)

Načítá se...

Formal Development Of Programs And Proofs
Autor: Dijkstra, Edsger W
Vydáno: (1990)