Caricamento...

Codice QR

The Way of Z: practical programming with formal methods

other_versions_link

Dettagli Bibliografici
Autore principale:	Jacky, Jonathan
Natura:	Printed Book
Pubblicazione:	Cambridge, CUP 1997
Soggetti:	Computer programm language

Documenti analoghi

The way of Z: practical programming with formal methods
di: Jacky, Jonathan
Pubblicazione: (1997)

The way of z practical programming with formal methods
di: Jonathan Jacky
Pubblicazione: (1997)

Numerical Methods : With Programs in C
di: Veerarajan, T

Model-based software testing and analysis with C#
di: Jacky, Jonathan
Pubblicazione: (2008)

Computer programming in COBOL
di: Rajaraman, V.
Pubblicazione: (1981)

The C programming language
di: Kernighan, Brian W, et al.
Pubblicazione: (1988)

The C programming language
di: Kernighan, Brian W, et al.
Pubblicazione: (1988)

The C programming language
di: Kernighan, Brian W, et al.
Pubblicazione: (1988)

Program translation fundementals :methods and issues
di: Calingaert, Peter
Pubblicazione: (1988)

Physics through c-programming: for under graduates
di: Palaniswamy, S
Pubblicazione: (2004)

Assembly language programming for intel processors family
di: Vasile Lungu; Author
Pubblicazione: (2008)

Programming and problem solving with C++
di: Dale, Nell
Pubblicazione: (1997)

Z80 Assembly Language Programming
di: Leventhal,Lance.A
Pubblicazione: (1979)

The Mathematica programmer
di: Maeder, Roman E
Pubblicazione: (1994)

Embedded c programming and the atmel avr /
Pubblicazione: (2003)

C++ Graphics programming handbook
di: Stevens, Roger T
Pubblicazione: (1996)

C++ programming language
di: Stroustrup, Bjarne
Pubblicazione: (1997)

Problem solving: the object of programming
di: Savitch, Walter
Pubblicazione: (2003)

C++ programming bible
di: Al Stevens
Pubblicazione: (2000)

Visual foxpro Programming Basics
di: Stearns,Ton
Pubblicazione: (1996)

Embedded C programming and the microchip PIC /
di: Barnett, Richard H.
Pubblicazione: (2004)

Embedded C programming and the microchip PIC
di: Barnett, Richard
Pubblicazione: (2011)

An Intermediate Guide to SPSS Programming: Using syntax for data management
di: BOSLAUGH,Sarah
Pubblicazione: (2005)

Object-oriented programming with c++ and Java
di: Samanta, D.
Pubblicazione: (2000)

Waite group's object- oriented programming in TurboC++
di: Lafore, Robert
Pubblicazione: (1999)

treatise on object oriented programming using C++
di: Chandra, B
Pubblicazione: (1998)

The power of C#
di: Rajeev A Parida; Author
Pubblicazione: (2009)

Understanding pointers in C
di: Kanethar, Yashavant P
Pubblicazione: (2001)

Linear programming : Methods and applications /
di: Gass, Saul I.
Pubblicazione: (1958)

Linear programming : Methods and applications /
di: Gass, Saul I.
Pubblicazione: (1958)

Linear programming : Methods and applications /
di: Gass, Saul I.
Pubblicazione: (1958)

Linear programming : Methods and applications /
di: Gass, Saul I.
Pubblicazione: (1964)

Java programming Language
di: Arnold, Ken
Pubblicazione: (1998)

Program translation fundamentals: methods and issues
di: Calingaert, Peter
Pubblicazione: (1987)

Short-term forecasting
di: Coutie, G. A...[et al.]
Pubblicazione: (1964)

Fast track visual C++ 6.0 programming
di: Holzner, Steve
Pubblicazione: (1998)

Programming Perl
di: Larry Wall
Pubblicazione: (1996)

Linear programming /
di: Llewellyn, Robert W.
Pubblicazione: (1964)

Linear programming /
di: Hadley, G.
Pubblicazione: (1967)

Linear programming /
di: Hadley, G.
Pubblicazione: (1967)