Načítá se...

QR kód

Formal Specification And Verification Of Digital Systems

other_versions_link

Podrobná bibliografie
Hlavní autor:	Milne, George
Médium:	Printed Book
Vydáno:	Mcgraw Hill Book Company 1994

Podobné jednotky

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 sytems
Autor: George Milne
Vydáno: (1994)

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

Real-time systems: specification, verification and analysis/
Autor: Joseph, Mathai, Ed
Vydáno: (1996)

Načítá se...

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

Načítá se...

Formal Specification Of Complex Reasoning Systems
Autor: Treur, Jan
Vydáno: (1993)

Načítá se...

Verification and meaning /
Vydáno: (1976)

Načítá se...

Formal Specification: Techniques And Applications
Autor: Nimal Nissanke
Vydáno: (1999)

Načítá se...

Formal specification and software development
Autor: Bjorner,Dines

Načítá se...

Formal specification and software development
Autor: Bjorner, Diner
Vydáno: (1982)

Načítá se...

Embedded Systems Design and Verification
Autor: Zurawski Richard

Načítá se...

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

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...

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

Načítá se...

An Introduction To Discrete Mathematics And Formal System Specifications
Autor: Ince, D C
Vydáno: (1988)

Načítá se...

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

Načítá se...

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

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...

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

Načítá se...

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

Načítá se...

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

Načítá se...

Larch: languages and tools for formal specification
Autor: Guttag, John V, a další
Vydáno: (1993)

Načítá se...

Larch:languages and tools for formal specification
Autor: John V. Guttag,James J.Horming
Vydáno: (1993)

Načítá se...

Prolog: from formal specification to prototype
Autor: Leadbetter, Peter
Vydáno: (1991)

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...

Verification and validation in systems engineering assessing UML/sysML designed models
Autor: Debbabi, Mourad...[et.al]
Vydáno: (2010)

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

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

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 and Validation in Scientific Computing
Autor: William L. Oberkampf
Vydáno: (2013)