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

Tekijä: Jonathan P. Bowen (ed.); Michael G. Hinchey (ed.)
Kustantaja: Springer (1995)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

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

Tekijä: Jonathan P. Bowen (ed.); Andreas Fett (ed.); Michael G. Hinchey (ed.)
Kustantaja: Springer (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Jonathan P. Bowen (ed.); Michael G. Hinchey (ed.); David Till (ed.)
Kustantaja: Springer (1997)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Jonathan P. Bowen (ed.); Steve Dunne (ed.); Andy Galloway (ed.); Steve King (ed.)
Kustantaja: Springer (2000)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

EVA LONDON 2011 - ELECTRONIC VISUALISATION AND THE ARTS

Tekijä: Jonathan P. Bowen; Stuart Dunn; Kia Ng
Kustantaja: BCS Learning & Development Limited (2011)
Saatavuus: Ei tiedossa

EUR 165,80

ELECTRONIC VISUALISATION IN ARTS AND CULTURE

Tekijä: Jonathan P. Bowen; Suzanne Keene; Kia Ng
Kustantaja: Springer London Ltd (2013)
Saatavuus: Noin 17-20 arkipäivää

EUR 121,30

HIGH-INTEGRITY SYSTEM SPECIFICATION AND DESIGN

Tekijä: Jonathan P. Bowen; Michael G. Hinchey
Kustantaja: Springer (1999)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

ELECTRONIC VISUALISATION IN ARTS AND CULTURE

Tekijä: Jonathan P. Bowen (ed.); Suzanne Keene (ed.); Kia Ng (ed.)
Kustantaja: Springer (2016)
Saatavuus: Noin 17-20 arkipäivää

EUR 121,30

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

Tekijä: Jonathan P. Bowen (ed.); Huibiao Zhu (ed.)
Kustantaja: Springer (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

EVA LONDON 2017 - ELECTRONIC VISUALISATION AND THE ARTS

Tekijä: Jonathan P. Bowen; Graham Diprose; Dr Nick Lambert
Kustantaja: BCS Learning & Development Limited (2017)
Saatavuus: Ei tiedossa

EUR 164,40

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

Tekijä: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Kustantaja: Springer Nature Switzerland AG (2018)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Jonathan P. Bowen; Zhiming Liu; Zili Zhang
Kustantaja: Springer Nature Switzerland AG (2019)
Saatavuus: Noin 17-20 arkipäivää

EUR 57,30

INDUSTRIAL-STRENGTH FORMAL METHODS IN PRACTICE

Tekijä: Michael G. Hinchey; Jonathan P. Bowen
Kustantaja: Springer London Ltd (1999)
Saatavuus: Noin 17-20 arkipäivää

EUR 129,90

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

Tekijä: Didier Bert (ed.); Jonathan P. Bowen (ed.); Martin C. Henson (ed.); Ken Robinson (ed.)
Kustantaja: Springer (2002)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Egon Börger; Michael Butler; Jonathan P. Bowen; Paul Boca
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

EVA LONDON 2014 - ELECTRONIC VISUALISATION AND THE ARTS

Tekijä: Graham Diprose; Kia Ng; Jonathan P. Bowen; Dr Nick Lambert; Sarah McDaid
Kustantaja: BCS Learning & Development Limited (2014)
Saatavuus: Ei tiedossa

EUR 163,20

EVA LONDON 2015

Tekijä: Graham Diprose; Kia Ng; Jonathan P. Bowen; Dr Nick Lambert
Kustantaja: BCS Learning&Development Limited (2015)
Saatavuus: Ei tiedossa

EUR 127,60

EVA LONDON 2013 - ELECTRONIC VISUALISATION AND THE ARTS

Tekijä: Graham Diprose; Prof Jonathan P. Bowen; Dr Nick Lambert
Kustantaja: BCS Learning & Development Limited (2013)
Saatavuus: Ei tiedossa

EUR 195,20

EVA LONDON 2016 - ELECTRONIC VISUALISATION AND THE ARTS, 12-14 JULY 2016, LONDON, UK

Tekijä: The Chartered Institute for IT BCS; Jonathan P. Bowen; Graham Diprose; Dr Nick Lambert
Kustantaja: BCS Learning & Development Limited (2016)
Saatavuus: Ei tiedossa

EUR 166,00

PROVABLY CORRECT SYSTEMS

Tekijä: Mike Hinchey; Jonathan P. Bowen; Ernst-Rüdiger Olderog
Kustantaja: Springer International Publishing AG (2017)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

Hae lisää...

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

Jonathan P. Bowen (ed.), Michael G. Hinchey (ed.)

97,90 €

Springer
Sivumäärä: 583 sivua
Asu: Pehmeäkantinen kirja
Painos: 1995
Julkaisuvuosi: 1995, 23.08.1995 (lisätietoa)
Kieli: Englanti

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 17-20 arkipäivässä

Myymäläsaatavuus