The way of Z: practical programming with formal methods

Détails bibliographiques
Auteur principal:	Jacky, Jonathan
Format:	Printed Book
Langue:	English
Publié:	Cambridge Cambridge University press 1997
Sujets:	Z (Computer program language)

Chargement en cours...

The Way of Z: practical programming with formal methods
par: Jacky, Jonathan
Publié: (1997)

Chargement en cours...

Biochemistry/
par: Satyanarayana, U.
Publié: (2006)

Chargement en cours...

The way of z practical programming with formal methods
par: Jonathan Jacky
Publié: (1997)

Chargement en cours...

A-Z of fishing
par: Willock, Colin
Publié: (1992)

Chargement en cours...

.NET Interview Questions /
par: Koirala,Sivaprasad
Publié: (2008)

Chargement en cours...

Developing Web Applications with Microsoft Visual Basic .NET and Microsift Visual C# .NET /
par: Webb, Jeff.
Publié: (2003)

Chargement en cours...

Head First Servlets and JSP /
Publié: (2008)

Chargement en cours...

Z 80 assembly language programming
par: Leventhal, Lance A
Publié: (1986)

Chargement en cours...

INDIAN PHILOSOPHY A-Z
par: CHRISTOPHER BARTLEY
Publié: (2008)

Chargement en cours...

Fact Index L-Z
Publié: (1978)

Chargement en cours...

A to Z of terrorist organizations of the world
par: Das P K

Chargement en cours...

Living swamp
par: Bergioli, A
Publié: (1978)

Chargement en cours...

البيان والتبيين
par: جاحظ , أبي عثمان عمرو بن بحر Jahilu

Chargement en cours...

Great encyclopaedic dictionary,Vol.2
par: Readers digest
Publié: (1976)

Chargement en cours...

Shorter oxford English dictionary,Vol.2
par: Oxford university press
Publié: (2002)

Chargement en cours...

English Malayalam dictionary,Vol 2
par: Unniraja,C

Chargement en cours...

Formal methods of program verification and specification
par: H K Berg, et autres
Publié: (1982)

Chargement en cours...

A to Z ready reckoner of investments
par: R.N.lakhotia, et autres
Publié: (1993)

Chargement en cours...

Marketing insights from a to z
par: Philip kotler
Publié: (2003)

Chargement en cours...

Formal models in programming
par: Neuhold, E J
Publié: (1985)

Chargement en cours...

Computer programming and formal systems.
par: Braffort, P.ed
Publié: (1970)

Chargement en cours...

Biomonitoring of Veli-Akkulam lake in Kerala using macro invertibrates and fish /
par: Abhijna, U. G.
Publié: (2014)

Chargement en cours...

Complete A-Z economics and business handbook
par: Wall,Nancy
Publié: (2003)

Chargement en cours...

TIET'Z FUNDAMENTALS OF CLINICAL CHEMISTRY AND MOLECULAR DIAGNOSTICS/
Publié: (2015)

Chargement en cours...

Ada in action: with practical programming examples
par: Jones, Do-While
Publié: (1989)

Chargement en cours...

Elementary Computability, formal languages and automata
par: McNaughton, Robert
Publié: (1982)

Chargement en cours...

Elementary computability formal languages and automata
par: McNaughton, Robert
Publié: (1982)

Chargement en cours...

Practical C programming /
par: Oualline, Steve
Publié: (1991)

Chargement en cours...

Practical C++ programming /
par: Oualline, Steve
Publié: (1995)

Chargement en cours...

Financial Analysis of Co-operative Marketing Federations – A Comparative Study of MARKFED and HAFED
par: Navkiranjit Kaur Dhaliwal and Jasmeet Kaur
Publié: (2014)

Chargement en cours...

Programming in C ++
par: Kamthane, Ashok N
Publié: (2013)

Chargement en cours...

BIOLOGICAL ABSTRACTS:ANNUALCUMULATIVE SUBJECT INDEX J-Z (J)
Publié: (1965)

Chargement en cours...

POLYMERS IN INDUSTRY FROM A/Z: A CONCISE ENCYCLOPEDIA
par: MASCIA LENO
Publié: (2012)

Chargement en cours...

An Introduction Formal Languages And Automata
par: Linz Peter
Publié: (2006)

Chargement en cours...

C Programming
par: Holzner, Steve
Publié: (1992)

Chargement en cours...

Programming in C
par: Kochan, Stephen G
Publié: (1987)

Chargement en cours...

Programming in BASIC /
par: Balaguruswamy, E.
Publié: (1991)

Chargement en cours...

Thinking in C++: Vol 2: practical programming
par: Eckel, Bruce
Publié: (2007)

Chargement en cours...

Microcomputers and microprocessors: the 8080,8085, and Z-80 programming, interfacing and troubleshhoting
par: Uffenbeck, John; Author
Publié: (2002)

Chargement en cours...

Programming Perl
par: Tom Christiansen
Publié: (2012)

The way of Z: practical programming with formal methods

Documents similaires

Documents similaires