KIRJAUDU

ostoskori

avaa valikko

Jonathan P. Bowen | Akateeminen Kirjakauppa

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

ZUM '95: THE Z FORMAL SPECIFICATION NOTATION - 9TH INTERNATIONAL CONFERENCE OF Z USERS, LIMERICK, IRELAND, SEPTEMBER 7 - 9, 1995

Jonathan P. Bowen; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1995)
Pehmeäkantinen kirja

97,90 €

ZUM '98: THE Z FORMAL SPECIFICATION NOTATION : 11TH INTERNATIONAL CONFERENCE OF Z USERS, BERLIN, GERMANY, SEPTEMBER 24-26, 1998,

Jonathan P. Bowen (ed.); Andreas Fett (ed.); Michael G. Hinchey (ed.)
Springer (1998)
Pehmeäkantinen kirja

49,60 €

ZUM'97: THE Z FORMAL SPECIFICATION NOTATION : 10TH INTERNATIONAL CONFERENCE OF Z USERS, READING, UK, APRIL, 3-4, 1997, PROCEEDIN

Jonathan P. Bowen (ed.); Michael G. Hinchey (ed.); David Till (ed.)
Springer (1997)
Pehmeäkantinen kirja

49,60 €

ZB 2000: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B : FIRST INTERNATIONAL CONFERENCE OF B AND Z USERS YORK, UK, AUGUST 29 -

Jonathan P. Bowen (ed.); Steve Dunne (ed.); Andy Galloway (ed.); Steve King (ed.)
Springer (2000)
Pehmeäkantinen kirja

49,60 €

EVA LONDON 2011 - ELECTRONIC VISUALISATION AND THE ARTS

Jonathan P. Bowen; Stuart Dunn; Kia Ng
BCS Learning & Development Limited (2011)
Pehmeäkantinen kirja

165,80 €

ELECTRONIC VISUALISATION IN ARTS AND CULTURE

Jonathan P. Bowen; Suzanne Keene; Kia Ng
Springer London Ltd (2013)
Kovakantinen kirja

121,30 €

HIGH-INTEGRITY SYSTEM SPECIFICATION AND DESIGN

Jonathan P. Bowen; Michael G. Hinchey
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

49,60 €

ELECTRONIC VISUALISATION IN ARTS AND CULTURE

Jonathan P. Bowen; Suzanne Keene; Kia Ng
Springer London Ltd (2016)
Pehmeäkantinen kirja

121,30 €

UNIFYING THEORIES OF PROGRAMMING - 6TH INTERNATIONAL SYMPOSIUM, UTP 2016, REYKJAVIK, ICELAND, JUNE 4-5, 2016, REVISED SELECTED P

Jonathan P. Bowen; Huibiao Zhu
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS - SECOND INTERNATIONAL SCHOOL, SETSS 2016, CHONGQING, CHINA, MARCH 28 - APRIL 2, 2016,

Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer International Publishing AG (2017)
Pehmeäkantinen kirja

49,60 €

EVA LONDON 2017 - ELECTRONIC VISUALISATION AND THE ARTS

Jonathan P. Bowen; Graham Diprose; Dr Nick Lambert
BCS Learning & Development Limited (2017)
Pehmeäkantinen kirja

164,40 €

ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS - THIRD INTERNATIONAL SCHOOL, SETSS 2017, CHONGQING, CHINA, APRIL 17–22, 2017, TUTORIAL

Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2018)
Pehmeäkantinen kirja

49,60 €

ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS - 4TH INTERNATIONAL SCHOOL, SETSS 2018, CHONGQING, CHINA, APRIL 7–12, 2018, TUTORIAL LE

Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2019)
Pehmeäkantinen kirja

57,30 €

ENGINEERING TRUSTWORTHY SOFTWARE SYSTEMS - 5TH INTERNATIONAL SCHOOL, SETSS 2019, CHONGQING, CHINA, APRIL 21–27, 2019, TUTORIAL L

Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Springer Nature Switzerland AG (2020)
Pehmeäkantinen kirja

49,60 €

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

Jonathan P. Bowen (ed.); Qin Li (ed.); Qiwen Xu (ed.)
Springer (2023)
Pehmeäkantinen kirja

68,90 €

INDUSTRIAL-STRENGTH FORMAL METHODS IN PRACTICE

Michael G. Hinchey; Jonathan P. Bowen
Springer London Ltd (1999)
Pehmeäkantinen kirja

129,90 €

ZB 2003: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B : THIRD INTERNATIONAL CONFERENCE OF B AND Z USERS, TURKU, FINLAND, JUNE

Didier Bert (ed.); Jonathan P. Bowen (ed.); Steve King (ed.); Marina Waldén (ed.)
Springer (2003)
Pehmeäkantinen kirja

97,90 €

ZB 2002: FORMAL SPECIFICATION AND DEVELOPMENT IN Z AND B : 2ND INTERNATIONAL CONFERENCE OF B AND Z USERS GRENOBLE, FRANCE, JANUA

Didier Bert (ed.); Jonathan P. Bowen (ed.); Martin C. Henson (ed.); Ken Robinson (ed.)
Springer (2002)
Pehmeäkantinen kirja

49,60 €

FORMAL METHODS AND TESTING : AN OUTCOME OF THE FORTEST NETWORK. REVISED SELECTED PAPERS

Robert M. Hierons (ed.); Jonathan P. Bowen (ed.); Mark Harman (ed.)
Springer (2008)
Pehmeäkantinen kirja

49,60 €

ABSTRACT STATE MACHINES, B AND Z - FIRST INTERNATIONAL CONFERENCE, ABZ 2008, LONDON, UK, SEPTEMBER 16-18, 2008. PROCEEDINGS

Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

49,60 €

Hae lisää...

ZUM '95: The Z Formal Specification Notation - 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995

Jonathan P. Bowen, Michael G. Hinchey

97,90 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 583 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 23.08.1995 (lisätietoa)
Kieli: Englanti
Tuotesarja: Lecture Notes in Computer Science 967

This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995.
The book contains 34 carefully selected papers on Z, using Z, applications of Z, proof, testing, industrial usage, object orientation, animation of specification, method integration, and teaching formal methods. Of particular interest is the inclusion of an annotated Z bibliography listing 544 entries. While focussing on Z, by far the most commonly used "formal method" both in industry and application, the volume is of high relevance for the whole formal methods community.

LISÄÄ OSTOSKORIIN

Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024

Myymäläsaatavuus