KIRJAUDU

ostoskori

avaa valikko

Jim Woodcock | Akateeminen Kirjakauppa

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

USING Z

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

104,60 €

DOMAIN MODELING AND THE DURATION CALCULUS - INTERNATIONAL TRAINING SCHOOL, SHANGHAI, CHINA, SEPTEMBER 17-21, 2007, ADVANCED LECT

Chris George; Zhiming Liu; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS - ESSAYS IN HONOUR OF DINES BJORNER AND ZHOU CHAOCHEN ON THE OCCASION OF THEIR 70TH

Cliff B. Jones; Zhiming Liu; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS AND SOFTWARE ENGINEERING - 5TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, ICFEM 2003, SINGAPORE, NOV

Jin Song Dong; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

101,40 €

VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS - FIRST IFIP TC 2/WG 2.3 CONFERENCE, VSTTE 2005, ZURICH, SWITZERLAND, OCTOBER 10

Bertrand Meyer; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

101,40 €

VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS - SECOND INTERNATIONAL CONFERENCE, VSTTE 2008, TORONTO, CANADA, OCTOBER 6-9, 200

Natarajan Shankar; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

51,40 €

REFINEMENT TECHNIQUES IN SOFTWARE ENGINEERING - FIRST PERNAMBUCO SUMMER SCHOOL ON SOFTWARE ENGINEERING, PSSE 2004, RECIFE, BRAZI

Ana Cavalcanti; Augusto Sampaio; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2006)
Pehmeäkantinen kirja

51,40 €

FORMAL METHODS: FOUNDATIONS AND APPLICATIONS - 12TH BRAZILIAN SYMPOSIUM ON FORMAL METHODS, SBMF 2009 GRAMADO, BRAZIL, AUGUST 19-

Marcel Vinícius Medeiros Oliveira; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2009)
Pehmeäkantinen kirja

51,40 €

THEORETICAL ASPECTS OF COMPUTING - 7TH INTERNATIONAL COLLOQUIUM, NATAL, RIO GRANDE DO NORTE, BRAZIL, SEPTEMBER 1-3, 2010, PROCEE

Ana Cavalcanti; David Deharbe; Marie-Claude Gaudel; Jim Woodcock
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010)
Pehmeäkantinen kirja

51,40 €

THEORIES OF PROGRAMMING AND FORMAL METHODS - ESSAYS DEDICATED TO JIFENG HE ON THE OCCASION OF HIS 70TH BIRTHDAY

Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

51,40 €

UNIFYING THEORIES OF PROGRAMMING AND FORMAL ENGINEERING METHODS - INTERNATIONAL TRAINING SCHOOL ON SOFTWARE ENGINEERING, HELD AT

Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

51,40 €

THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2013 - 10TH INTERNATIONAL COLLOQUIUM, SHANGHAI, CHINA, SEPTEMBER 4-6, 2013, PROCEEDING

Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

51,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)
Kovakantinen kirja

100,50 €

DEPENDABLE SOFTWARE ENGINEERING. THEORIES, TOOLS, AND APPLICATIONS - 7TH INTERNATIONAL SYMPOSIUM, SETTA 2021, BEIJING, CHINA, NO

Shengchao Qin; Jim Woodcock; Wenhui Zhang
Springer Nature Switzerland AG (2021)
Pehmeäkantinen kirja

76,40 €

SOFTWARE ENGINEERING FOR ROBOTICS

Ana Cavalcanti; Brijesh Dongol; Rob Hierons; Jon Timmis; Jim Woodcock
Springer Nature Switzerland AG (2021)
Kovakantinen kirja

121,40 €

SOFTWARE ENGINEERING FOR ROBOTICS

Ana Cavalcanti; Brijesh Dongol; Rob Hierons; Jon Timmis; Jim Woodcock
Springer Nature Switzerland AG (2022)
Pehmeäkantinen kirja

121,40 €

THEORETICAL ASPECTS OF COMPUTING -- ICTAC 2013 - 10TH INTERNATIONAL COLLOQUIUM, SHANGHAI, CHINA, SEPTEMBER 4-6, 2013, PROCEEDING

Zhiming Liu; Jim Woodcock; Huibiao Zhu
Springer (2013)
Pehmeäkantinen kirja

119,10 €

Hae lisää...

Using Z

Jim Woodcock, Jim Davies

104,60 €

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