KIRJAUDU

ostoskori

avaa valikko

Jim Davies | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 41 tuotetta
Haluatko tarkentaa hakukriteerejä?

USING Z

Jim Woodcock; Jim Davies
(1996)
Pehmeäkantinen kirja

101,40 €

SPECIFICATION AND PROOF IN REAL TIME CSP

Jim Davies
Cambridge University Press (2012)
Pehmeäkantinen kirja

65,40 €

SPECIFICATION AND PROOF IN REAL TIME CSP

Jim Davies
Cambridge University Press (1993)
Kovakantinen kirja

121,60 €

PREY LATER

Jim Davies
Julkaisija: Code 7 - Armalyte Industries (2021)
CD-äänilevy

42,40 €

THE BARD & CO. - SHAKESPEARE'S ROLE IN MODERN BUSINESS

Jim Davies; John Simmons; Rob Williams
Cyan Books (2007)
Pehmeäkantinen kirja

15,80 €

GARFIELD CLASSICS

Jim Davies
RAVETTE PUBLISHING (2008)
Pehmeäkantinen kirja

32,50 €

GARFIELD 30 YEARS THE FUN'S JUST BEGUN

Jim Davies
RAVETTE PUBLISHING (2008)
Pehmeäkantinen kirja

37,70 €

KARVINEN - RELAAMISEN TAITO

Jim Davies
Minerva Kustannus Oy (2007)
Kovakantinen kirja

10,60 €

INTEGRATED FORMAL METHODS - 6TH INTERNATIONAL CONFERENCE, IFM 2007, OXFORD, UK, JULY 2-5, 2007, PROCEEDINGS

Jim Davies; Jeremy Gibbons
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

97,90 €

FORMAL METHODS AND SOFTWARE ENGINEERING - 6TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2004, SEATTLE, WA, U

Jim Davies; Wolfram Schulte; Mike Barnett
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2004)
Pehmeäkantinen kirja

97,90 €

FM'99 - FORMAL METHODS - WORLD CONGRESS ON FORMAL METHODS IN THE DEVELOPMENT OF COMPUTING SYSTEMS, TOULOUSE, FRANCE, SEPTEMBER 2

Jeannette M. Wing; Jim Woodcook; Jim Davies
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

97,90 €

FM'99 - FORMAL METHODS - WORLD CONGRESS ON FORMAL METHODS IN THE DEVELOPEMENT OF COMPUTING SYSTEMS, TOULOUSE, FRANCE, SEPTEMBER

Jeannette M. Wing; Jim Woodcook; Jim Davies
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

97,90 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 13TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS, SBMF 2010, NATAL, BRAZIL, NOVEMBER 8-

Jim Davies; Leila Silva; Adenilso Simao
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2011)
Pehmeäkantinen kirja

49,60 €

RIVETED - THE SCIENCE OF WHY JOKES MAKE US LAUGH, MOVIES MAKE US CRY, AND RELIGION MAKES US FEEL ONE WITH THE UNIVERSE

Jim Davies
Palgrave Macmillan (2015)
Kovakantinen kirja

21,80 €

SOCIAL WORK WITH ADULTS

Jim Rogers; Lucy Bright; Helen Davies
Learning Matters (2015)
Ladattava julkaisu

21,30 €

MILLENNIAL PERSPECTIVES IN COMPUTER SCIENCE - PROCEEDINGS OF THE 1999 OXFORD-MICROSOFT SYMPOSIUM IN HONOUR OF SIR TONY HOARE

Jim Davies; Bill Roscoe; Jim Woodcock
Bloomsbury Publishing PLC (2000)
Kovakantinen kirja

97,00 €

TIME IN A BOTTLE - VOLUME 1

Colin P Davies; Jim C Hines; Lyn McConchie
Altered Dimensions (2010)
Pehmeäkantinen kirja

54,60 €

ITIL FOUNDATION ALL-IN-ONE EXAM GUIDE

Jim Davies
McGraw-Hill Education - Europe (2016)
Pehmeäkantinen kirja

32,00 €

GARFIELD SE METE EN LIOS (COMIC)(+8 AÑOS)

JIM DAVIES
KRAKEN (2015)
Pehmeäkantinen kirja

14,40 €

ROALD DAHL: GEORGE'S MARVELLOUS EXPERIMENTS

Quentin Blake; Jim Peacock; Michelle Porte Davies
Penguin Random House Children's UK (2017)
Pehmeäkantinen kirja

10,20 €

Hae lisää...

Using Z

Jim Woodcock, Jim Davies

101,40 €

Sivumäärä: 408 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1996, 22.03.1996 (lisätietoa)
Kieli: Englanti

This book contains enough mnaterial for three complete courses of study. It provides an introduction to the world of logic, sets and relations. It explains the use of the Znotation in the specification of realistic systems. It shows how Z specifications may be refined to produce executable code; this is demonstrated in a selection of case studies. The essentials of specification, refinement and proof are covered, revealing techniques never previously published.

Exercises, Solutions and set of Tranparencies are available via http://www.comlab.ox.ac.uk/usingz.html

Loppuunmyyty

Myymäläsaatavuus