SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

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
101,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
97,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
49,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
73,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering for Robotics
Ana Cavalcanti (ed.); Brijesh Dongol (ed.); Rob Hierons (ed.); Jon Timmis (ed.); Jim Woodcock (ed.)
Springer (2021)
Kovakantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Software Engineering for Robotics
Ana Cavalcanti (ed.); Brijesh Dongol (ed.); Rob Hierons (ed.); Jon Timmis (ed.); Jim Woodcock (ed.)
Springer (2022)
Pehmeäkantinen kirja
117,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
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
116,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Using Z
101,70 €
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
Helsinki
Tapiola
Turku
Tampere
Using Zzoom
Näytä kaikki tuotetiedot
ISBN:
9780139484728
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste