Cargando...

Código QR

Program verification using Ada

Detalles Bibliográficos
Autor Principal:	McGettrick, Andrew D; Author
Formato:	Printed Book
Publicado:	Cambridge, Cambridge University Press 1982
Series:	Cambridge computer science series
Subjects:	Ada (Computer program language) Computer programs-Verification

Títulos similares

Programming in ADA
por: Wiener, Richard
Publicado: (1983)

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

Foundation of program verification /
por: Loeckx, Jacques
Publicado: (1983)

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

ADA: a programmer`s conversion course /
por: Stratford-Collins, M J
Publicado: (1982)

Ada for experienced programmers
por: Habermann, Nico A.
Publicado: (1983)

Software Engineering with Ada
por: Booch, Grachy
Publicado: (1983)

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

Software engineering with modula-2 and Ada
por: Wiener, Richard
Publicado: (1984)

Ada in action: with practical programming examples
por: Jones, Do-While
Publicado: (1989)

Programmer's view of the INTEL 432 system
por: Organick, Elliott I
Publicado: (1983)

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

Prof Ada Yonath from ribosomes to anitbiotic

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

Ada: an introduction
por: Ledgar, Henry F
Publicado: (1981)

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

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

ADA quality and style: guidelines for professional programmers: the software productivity consortium
por: ADA quality and
Publicado: (1989)

Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
por: Luckham, David
Publicado: (1990)

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

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

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

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

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

Understanding programming: an introduction using C++
por: Cannon, Scott R; Author
Publicado: (2001)

Graded problems in computer science /
por: McGettrick, Andrew D.
Publicado: (1983)

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

Programming Java: an introduction to programming using Java
por: Decker, Rick; Author, et al.
Publicado: (2000)

Introduction to computation and programming using Python :
por: Guttag, John, V
Publicado: (2016)

Functional programming using F#
por: MICHAEL R HANSEN
Publicado: (2013)

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

Object oriented programming using C++
por: Pohl, Ira; Author
Publicado: (1993)

Using Turbo Pascal: program CSI; uses Turbo Pascal
por: Berlinger, Eli, et al.
Publicado: (1991)

Programming in C ++
por: Kamthane, Ashok N
Publicado: (2013)

Object oriented programming using C++
por: Chandra B
Publicado: (2002)

Programming Perl
por: Tom Christiansen
Publicado: (2012)

Computer programming in Cobol
por: Rajaraman, V.
Publicado: (1981)

Programming in Zortech C++ with version 2
por: Hughes, John M; Author
Publicado: (1990)

Multimedia introduction to programming using java
por: Gries, David
Publicado: (2005)

Introduction to Programming and Pascal
por: Collins, William J.
Publicado: (1984)