Lataa...

QR-koodi

The way of Z: practical programming with formal methods

other_versions_link

Bibliografiset tiedot
Päätekijä:	Jacky, Jonathan
Aineistotyyppi:	Printed Book
Kieli:	English
Julkaistu:	Cambridge Cambridge University press 1997
Aiheet:	Z (Computer program language)

Samankaltaisia teoksia

The Way of Z: practical programming with formal methods
Tekijä: Jacky, Jonathan
Julkaistu: (1997)

Biochemistry/
Tekijä: Satyanarayana, U.
Julkaistu: (2006)

The way of z practical programming with formal methods
Tekijä: Jonathan Jacky
Julkaistu: (1997)

A-Z of fishing
Tekijä: Willock, Colin
Julkaistu: (1992)

.NET Interview Questions /
Tekijä: Koirala,Sivaprasad
Julkaistu: (2008)

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

Head First Servlets and JSP /
Julkaistu: (2008)

Z 80 assembly language programming
Tekijä: Leventhal, Lance A
Julkaistu: (1986)

INDIAN PHILOSOPHY A-Z
Tekijä: CHRISTOPHER BARTLEY
Julkaistu: (2008)

Fact Index L-Z
Julkaistu: (1978)

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

Living swamp
Tekijä: Bergioli, A
Julkaistu: (1978)

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

Great encyclopaedic dictionary,Vol.2
Tekijä: Readers digest
Julkaistu: (1976)

Shorter oxford English dictionary,Vol.2
Tekijä: Oxford university press
Julkaistu: (2002)

English Malayalam dictionary,Vol 2
Tekijä: Unniraja,C

Formal methods of program verification and specification
Tekijä: H K Berg, et al.
Julkaistu: (1982)

A to Z ready reckoner of investments
Tekijä: R.N.lakhotia, et al.
Julkaistu: (1993)

Marketing insights from a to z
Tekijä: Philip kotler
Julkaistu: (2003)

Formal models in programming
Tekijä: Neuhold, E J
Julkaistu: (1985)

Computer programming and formal systems.
Tekijä: Braffort, P.ed
Julkaistu: (1970)

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

Complete A-Z economics and business handbook
Tekijä: Wall,Nancy
Julkaistu: (2003)

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

Ada in action: with practical programming examples
Tekijä: Jones, Do-While
Julkaistu: (1989)

Elementary Computability, formal languages and automata
Tekijä: McNaughton, Robert
Julkaistu: (1982)

Elementary computability formal languages and automata
Tekijä: McNaughton, Robert
Julkaistu: (1982)

Practical C programming /
Tekijä: Oualline, Steve
Julkaistu: (1991)

Practical C++ programming /
Tekijä: Oualline, Steve
Julkaistu: (1995)

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

Programming in C ++
Tekijä: Kamthane, Ashok N
Julkaistu: (2013)

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

POLYMERS IN INDUSTRY FROM A/Z: A CONCISE ENCYCLOPEDIA
Tekijä: MASCIA LENO
Julkaistu: (2012)

An Introduction Formal Languages And Automata
Tekijä: Linz Peter
Julkaistu: (2006)

C Programming
Tekijä: Holzner, Steve
Julkaistu: (1992)

Programming in C
Tekijä: Kochan, Stephen G
Julkaistu: (1987)

Programming in BASIC /
Tekijä: Balaguruswamy, E.
Julkaistu: (1991)

Thinking in C++: Vol 2: practical programming
Tekijä: Eckel, Bruce
Julkaistu: (2007)

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

Programming Perl
Tekijä: Tom Christiansen
Julkaistu: (2012)