Načítá se...

QR kód

Program verification using Ada

Podrobná bibliografie
Hlavní autor:	McGettrick, Andrew D; Author
Médium:	Printed Book
Vydáno:	Cambridge, Cambridge University Press 1982
Edice:	Cambridge computer science series
Témata:	Ada (Computer program language) Computer programs-Verification

Podobné jednotky

Načítá se...

Programming in ADA
Autor: Wiener, Richard
Vydáno: (1983)

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

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

Načítá se...

ADA: a programmer`s conversion course /
Autor: Stratford-Collins, M J
Vydáno: (1982)

Načítá se...

Ada for experienced programmers
Autor: Habermann, Nico A.
Vydáno: (1983)

Načítá se...

Software Engineering with Ada
Autor: Booch, Grachy
Vydáno: (1983)

Načítá se...

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

Načítá se...

Software engineering with modula-2 and Ada
Autor: Wiener, Richard
Vydáno: (1984)

Načítá se...

Ada in action: with practical programming examples
Autor: Jones, Do-While
Vydáno: (1989)

Načítá se...

Programmer's view of the INTEL 432 system
Autor: Organick, Elliott I
Vydáno: (1983)

Načítá se...

Verification of systems and circuits using LOTOS,Petri Nets, and CCS
Autor: Yoeli, Michael
Vydáno: (2008)

Načítá se...

Prof Ada Yonath from ribosomes to anitbiotic

Načítá se...

Current trends in hardware verification and automated theorem proving
Autor: Current trends in
Vydáno: (1989)

Načítá se...

Ada: an introduction
Autor: Ledgar, Henry F
Vydáno: (1981)

Načítá se...

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

Načítá se...

Verification of systems and circuits uswing LOTOS, Petri, Nets, and CCS
Autor: Yoeli, Michael
Vydáno: (2008)

Načítá se...

ADA quality and style: guidelines for professional programmers: the software productivity consortium
Autor: ADA quality and
Vydáno: (1989)

Načítá se...

Programming with specifications: an introduction to ANNA, a language for specifying Ada programs
Autor: Luckham, David
Vydáno: (1990)

Načítá se...

Essential software testing: a use-case approach
Autor: Fournier, Greg; Author
Vydáno: (2009)

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

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

Načítá se...

Understanding programming: an introduction using C++
Autor: Cannon, Scott R; Author
Vydáno: (2001)

Načítá se...

Graded problems in computer science /
Autor: McGettrick, Andrew D.
Vydáno: (1983)

Načítá se...

Handbook of materials management
Autor: GHopalakrishnan,P
Vydáno: (2009)

Načítá se...

Programming Java: an introduction to programming using Java
Autor: Decker, Rick; Author, a další
Vydáno: (2000)

Načítá se...

Introduction to computation and programming using Python :
Autor: Guttag, John, V
Vydáno: (2016)

Načítá se...

Functional programming using F#
Autor: MICHAEL R HANSEN
Vydáno: (2013)

Načítá se...

Principles of model checking /
Autor: Baier, Christel
Vydáno: (2012)

Načítá se...

Object oriented programming using C++
Autor: Pohl, Ira; Author
Vydáno: (1993)

Načítá se...

Using Turbo Pascal: program CSI; uses Turbo Pascal
Autor: Berlinger, Eli, a další
Vydáno: (1991)

Načítá se...

Programming in C ++
Autor: Kamthane, Ashok N
Vydáno: (2013)

Načítá se...

Object oriented programming using C++
Autor: Chandra B
Vydáno: (2002)

Načítá se...

Programming Perl
Autor: Tom Christiansen
Vydáno: (2012)

Načítá se...

Computer programming in Cobol
Autor: Rajaraman, V.
Vydáno: (1981)

Načítá se...

Programming in Zortech C++ with version 2
Autor: Hughes, John M; Author
Vydáno: (1990)

Načítá se...

Multimedia introduction to programming using java
Autor: Gries, David
Vydáno: (2005)

Načítá se...

Introduction to Programming and Pascal
Autor: Collins, William J.
Vydáno: (1984)