Laddar...

QR-kod

The way of Z: practical programming with formal methods

other_versions_link

Bibliografiska uppgifter
Huvudupphovsman:	Jacky, Jonathan
Materialtyp:	Printed Book
Språk:	English
Publicerad:	Cambridge Cambridge University press 1997
Ämnen:	Z (Computer program language)

Liknande verk

The Way of Z: practical programming with formal methods
av: Jacky, Jonathan
Publicerad: (1997)

Biochemistry/
av: Satyanarayana, U.
Publicerad: (2006)

The way of z practical programming with formal methods
av: Jonathan Jacky
Publicerad: (1997)

A-Z of fishing
av: Willock, Colin
Publicerad: (1992)

.NET Interview Questions /
av: Koirala,Sivaprasad
Publicerad: (2008)

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

Head First Servlets and JSP /
Publicerad: (2008)

Z 80 assembly language programming
av: Leventhal, Lance A
Publicerad: (1986)

INDIAN PHILOSOPHY A-Z
av: CHRISTOPHER BARTLEY
Publicerad: (2008)

Fact Index L-Z
Publicerad: (1978)

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

Living swamp
av: Bergioli, A
Publicerad: (1978)

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

Great encyclopaedic dictionary,Vol.2
av: Readers digest
Publicerad: (1976)

Shorter oxford English dictionary,Vol.2
av: Oxford university press
Publicerad: (2002)

English Malayalam dictionary,Vol 2
av: Unniraja,C

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

A to Z ready reckoner of investments
av: R.N.lakhotia, et al.
Publicerad: (1993)

Marketing insights from a to z
av: Philip kotler
Publicerad: (2003)

Formal models in programming
av: Neuhold, E J
Publicerad: (1985)

Computer programming and formal systems.
av: Braffort, P.ed
Publicerad: (1970)

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

Complete A-Z economics and business handbook
av: Wall,Nancy
Publicerad: (2003)

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

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

Elementary Computability, formal languages and automata
av: McNaughton, Robert
Publicerad: (1982)

Elementary computability formal languages and automata
av: McNaughton, Robert
Publicerad: (1982)

Practical C programming /
av: Oualline, Steve
Publicerad: (1991)

Practical C++ programming /
av: Oualline, Steve
Publicerad: (1995)

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

Programming in C ++
av: Kamthane, Ashok N
Publicerad: (2013)

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

POLYMERS IN INDUSTRY FROM A/Z: A CONCISE ENCYCLOPEDIA
av: MASCIA LENO
Publicerad: (2012)

An Introduction Formal Languages And Automata
av: Linz Peter
Publicerad: (2006)

C Programming
av: Holzner, Steve
Publicerad: (1992)

Programming in C
av: Kochan, Stephen G
Publicerad: (1987)

Programming in BASIC /
av: Balaguruswamy, E.
Publicerad: (1991)

Thinking in C++: Vol 2: practical programming
av: Eckel, Bruce
Publicerad: (2007)

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

Programming Perl
av: Tom Christiansen
Publicerad: (2012)