Cargando...

Código QR

Foundation of program verification /

Detalles Bibliográficos
Autor principal:	Loeckx, Jacques
Formato:	Printed Book
Publicado:	New Jersey : John Wiley & Sons , 1983.
Materias:	Program verification

Ejemplares similares

Program construction and verification /
por: Backhouse, Roland C .
Publicado: (1986)

Program construction and verification
por: Backhouse, Roland C; Author
Publicado: (1986)

Program verification using Ada
por: McGettrick, Andrew D; Author
Publicado: (1982)

Verification of sequential and concurrent programs /
por: Gries, David .
Publicado: (1991)

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

Protocol specification, testing and verification
por: Diaz, Michel
Publicado: (1986)

Current trends in hardware verification and automated theorem proving
por: Current trends in
Publicado: (1989)

Disarmament Forum Arms control verification /
Publicado: (2010)

Challenges of Verification: Smaller states and arms control
por: Gaertner, Heinz
Publicado: (1989)

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
por: Yoeli, Michael
Publicado: (2008)

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
por: Yoeli, Michael
Publicado: (2008)

Reconfigurable system design and verification
por: Hsiung, Pao-Ann
Publicado: (2009)

Handbook of materials management
por: GHopalakrishnan,P
Publicado: (2009)

Confirmation and confirmability /
por: Schlesinger, G.
Publicado: (1974)

Essential software testing: a use-case approach
por: Fournier, Greg; Author
Publicado: (2009)

Collection development policy (CDP) in Kerala University Library system: A Study
por: Sureshkumar C and Sukumaran C.

Principles of model checking /
por: Baier, Christel
Publicado: (2012)

Program logics for certified compilers /
por: Appel, Andrew W., 1960-

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

Logic and argument /
por: Kirwan, Christopher
Publicado: (1978)

Formal methods of program verification and specification
por: H K Berg, et al.
Publicado: (1982)

Automata, languages, and programming /
por: Loeckx, Jacques
Publicado: (1974)

Testing computer software
por: Kaner, Cem
Publicado: (2012)

Fault Diagnosis of Digital Systems
por: Chang, Herbert Y and Manning, Eric and Metze, Gernot
Publicado: (1970)

Perception of Law community about book pilferage: study of M D university, Rohtak

Software testing foundations : a study guide for the certified tester exam : foundation level, ISTQB compliant /
por: Spillner, Andreas
Publicado: (2011)

Program Construction and Verification
por: Backhouse, Roland C
Publicado: (1986)

Verification and Validation in Scientific Computing
por: William L. Oberkampf
Publicado: (2013)

Foundations of mathematical programming
por: Claycombe, William W
Publicado: (1975)

Foundations of genetic programming /
Publicado: (2010)

Verification and validation of real time software
por: Quirk,W.J

Automata, language and programming 2nd colloquium,University of Saarbrucken,July 29-Aug2, /
por: Loeckx, Jacques
Publicado: (1974)

Verification Of Sequential And Concurrent Programs
por: Apt, Krzysztof R
Publicado: (1991)

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

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

Verification of sequential and concurrent programs
por: Krzysztof r apt,Ernst -Rudiger olderog
Publicado: (1997)

Foundation of Genetic Programming
por: Longdon, William B
Publicado: (2010)

Foundations of programming languages : design and implementation /
por: Roosta, Seyed H.
Publicado: (2003)

Theory of program structures : schemes, semantics, verification /
por: Greibach, Sheila
Publicado: (1975)

Verification and meaning /
Publicado: (1976)