Načítá se...

QR kód

The way of Z: practical programming with formal methods

other_versions_link

Podrobná bibliografie
Hlavní autor:	Jacky, Jonathan
Médium:	Printed Book
Jazyk:	English
Vydáno:	Cambridge Cambridge University press 1997
Témata:	Z (Computer program language)

Podobné jednotky

Načítá se...

The Way of Z: practical programming with formal methods
Autor: Jacky, Jonathan
Vydáno: (1997)

Načítá se...

Biochemistry/
Autor: Satyanarayana, U.
Vydáno: (2006)

Načítá se...

The way of z practical programming with formal methods
Autor: Jonathan Jacky
Vydáno: (1997)

Načítá se...

A-Z of fishing
Autor: Willock, Colin
Vydáno: (1992)

Načítá se...

.NET Interview Questions /
Autor: Koirala,Sivaprasad
Vydáno: (2008)

Načítá se...

Developing Web Applications with Microsoft Visual Basic .NET and Microsift Visual C# .NET /
Autor: Webb, Jeff.
Vydáno: (2003)

Načítá se...

Head First Servlets and JSP /
Vydáno: (2008)

Načítá se...

Z 80 assembly language programming
Autor: Leventhal, Lance A
Vydáno: (1986)

Načítá se...

INDIAN PHILOSOPHY A-Z
Autor: CHRISTOPHER BARTLEY
Vydáno: (2008)

Načítá se...

Fact Index L-Z
Vydáno: (1978)

Načítá se...

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

Načítá se...

Living swamp
Autor: Bergioli, A
Vydáno: (1978)

Načítá se...

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

Načítá se...

Great encyclopaedic dictionary,Vol.2
Autor: Readers digest
Vydáno: (1976)

Načítá se...

Shorter oxford English dictionary,Vol.2
Autor: Oxford university press
Vydáno: (2002)

Načítá se...

English Malayalam dictionary,Vol 2
Autor: Unniraja,C

Načítá se...

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

Načítá se...

A to Z ready reckoner of investments
Autor: R.N.lakhotia, a další
Vydáno: (1993)

Načítá se...

Marketing insights from a to z
Autor: Philip kotler
Vydáno: (2003)

Načítá se...

Formal models in programming
Autor: Neuhold, E J
Vydáno: (1985)

Načítá se...

Computer programming and formal systems.
Autor: Braffort, P.ed
Vydáno: (1970)

Načítá se...

Biomonitoring of Veli-Akkulam lake in Kerala using macro invertibrates and fish /
Autor: Abhijna, U. G.
Vydáno: (2014)

Načítá se...

Complete A-Z economics and business handbook
Autor: Wall,Nancy
Vydáno: (2003)

Načítá se...

TIET'Z FUNDAMENTALS OF CLINICAL CHEMISTRY AND MOLECULAR DIAGNOSTICS/
Vydáno: (2015)

Načítá se...

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

Načítá se...

Elementary Computability, formal languages and automata
Autor: McNaughton, Robert
Vydáno: (1982)

Načítá se...

Elementary computability formal languages and automata
Autor: McNaughton, Robert
Vydáno: (1982)

Načítá se...

Practical C programming /
Autor: Oualline, Steve
Vydáno: (1991)

Načítá se...

Practical C++ programming /
Autor: Oualline, Steve
Vydáno: (1995)

Načítá se...

Financial Analysis of Co-operative Marketing Federations – A Comparative Study of MARKFED and HAFED
Autor: Navkiranjit Kaur Dhaliwal and Jasmeet Kaur
Vydáno: (2014)

Načítá se...

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

Načítá se...

BIOLOGICAL ABSTRACTS:ANNUALCUMULATIVE SUBJECT INDEX J-Z (J)
Vydáno: (1965)

Načítá se...

POLYMERS IN INDUSTRY FROM A/Z: A CONCISE ENCYCLOPEDIA
Autor: MASCIA LENO
Vydáno: (2012)

Načítá se...

An Introduction Formal Languages And Automata
Autor: Linz Peter
Vydáno: (2006)

Načítá se...

C Programming
Autor: Holzner, Steve
Vydáno: (1992)

Načítá se...

Programming in C
Autor: Kochan, Stephen G
Vydáno: (1987)

Načítá se...

Programming in BASIC /
Autor: Balaguruswamy, E.
Vydáno: (1991)

Načítá se...

Thinking in C++: Vol 2: practical programming
Autor: Eckel, Bruce
Vydáno: (2007)

Načítá se...

Microcomputers and microprocessors: the 8080,8085, and Z-80 programming, interfacing and troubleshhoting
Autor: Uffenbeck, John; Author
Vydáno: (2002)

Načítá se...

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