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

105,20 €

SPECIFICATION AND PROOF IN REAL TIME CSP

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

67,80 €

SPECIFICATION AND PROOF IN REAL TIME CSP

Jim Davies
Cambridge University Press (1993)
Kovakantinen kirja

126,10 €

PREY LATER

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

42,50 €

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

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

16,40 €

GARFIELD CLASSICS

Jim Davies
RAVETTE PUBLISHING (2008)
Pehmeäkantinen kirja

33,00 €

GARFIELD 30 YEARS THE FUN'S JUST BEGUN

Jim Davies
RAVETTE PUBLISHING (2008)
Pehmeäkantinen kirja

38,30 €

KARVINEN - RELAAMISEN TAITO

Jim Davies
Minerva Kustannus Oy (2007)
Kovakantinen kirja

11,00 €

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

101,40 €

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

101,40 €

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

101,40 €

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

51,40 €

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

22,60 €

SOCIAL WORK WITH ADULTS

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

22,20 €

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

100,50 €

TIME IN A BOTTLE - VOLUME 1

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

55,90 €

ITIL FOUNDATION ALL-IN-ONE EXAM GUIDE

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

33,30 €

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

JIM DAVIES
KRAKEN (2015)
Pehmeäkantinen kirja

14,90 €

ROALD DAHL: GEORGE'S MARVELLOUS EXPERIMENTS

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

10,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
Tantor Media, Inc
CD-äänilevy

72,80 €

Hae lisää...

Using Z

Jim Woodcock, Jim Davies

105,20 €

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