KIRJAUDU

ostoskori

avaa valikko

Jim Davies | Akateeminen Kirjakauppa

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

USING Z

Jim Woodcock; Jim Davies
(1996)
Saatavuus: Loppuunmyyty
Pehmeäkantinen kirja

101,50 €

SPECIFICATION AND PROOF IN REAL TIME CSP

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

65,40 €

SPECIFICATION AND PROOF IN REAL TIME CSP

Jim Davies
Cambridge University Press (1993)
Saatavuus: Tilaustuote
Kovakantinen kirja

121,70 €

PREY LATER

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

42,40 €

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

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

15,80 €

GARFIELD CLASSICS

Jim Davies
RAVETTE PUBLISHING (2008)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

32,60 €

GARFIELD 30 YEARS THE FUN'S JUST BEGUN

Jim Davies
RAVETTE PUBLISHING (2008)
Saatavuus: Hankintapalvelu
Pehmeäkantinen kirja

37,70 €

KARVINEN - RELAAMISEN TAITO

Jim Davies
Minerva Kustannus Oy (2007)
Saatavuus: Loppuunmyyty
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

97,90 €

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

Jim Davies (ed.); Wolfram Schulte (ed.); Mike Barnett (ed.)
Springer (2004)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Kovakantinen kirja

21,80 €

SOCIAL WORK WITH ADULTS

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

21,40 €

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)
Saatavuus: Tilaustuote
Kovakantinen kirja

97,00 €

TIME IN A BOTTLE - VOLUME 1

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

54,70 €

ITIL FOUNDATION ALL-IN-ONE EXAM GUIDE

Jim Davies
McGraw Hill (2016)
Saatavuus: Loppuunmyyty
Pehmeäkantinen kirja

32,10 €

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

JIM DAVIES
KRAKEN (2015)
Saatavuus: Tilaustuote
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)
Saatavuus: Tilaustuote
Pehmeäkantinen kirja

10,20 €

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

Jim Davies
Tantor Media, Inc
Saatavuus: Hankintapalvelu
CD-äänilevy

71,00 €

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

Jim Davies
Tantor Media, Inc
Saatavuus: Hankintapalvelu
CD-äänilevy

64,80 €

Hae lisää...

Using Z

Jim Woodcock, Jim Davies

101,50 €

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