Skip to contents

Bowen, Jonathan P. [Editor] ; ZB 1 2000 York

ZB 2000: formal specification and development in Z and B : proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2000

Published in: Lecture notes in computer science ; 1878
Bowen, Jonathan P. [Editor] ; ZUM 9 1995 Limerick

ZUM '95: the Z formal specification notation ; 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1995

Published in: Lecture notes in computer science ; 967
Bowen, Jonathan P. [Author]

Getting started with Talend Open Studio for Data Integration : develop system integrations with speed and quality using Talend Open Studio for Data Integration

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Birmingham [u.a.]: Packt Publishing Limited, 2012

Published in: [Pack] Open source community experience distilled- Packt open source
Bowen, Jonathan P. [Author]

Formal specification and documentation using Z : a case study approach - [1. print.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

London [u.a.]: International Thomson Computer Press, 1996
Bowen, Jonathan P. [Editor]; Hinchey, Mike [Editor]; Till, David [Editor] ; ZUM 10 1997 Reading

ZUM '97: The Z formal specification notation : 10th International Conference of Z Users, Reading, UK, April 3 - 4, 1997; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 1997

Published in: Lecture notes in computer science ; 1212
Bowen, Jonathan P. [Editor]; Fett, Andreas [Editor]; Hinchey, Mike [Editor] ; ZUM 11 1998 Berlin

ZUM '98: The Z formal specification notation : 11th International Conference of Z Users, Berlin, Germany, September 24 - 26, 1998, proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg; New York: Springer, 1998

Published in: Lecture notes in computer science ; 1493
Hierons, Robert M. [Editor]; Bowen, Jonathan P. [Other]; Harman, Mark [Other]

Formal methods and testing : an outcome of the FORTEST network ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 4949
Börger, Egon [Editor]; Butler, Michael [Other]; Bowen, Jonathan P. [Other]; Boca, Paul [Other] ; ABZ 1 2008 London

Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5238
Bowen, Jonathan P. [Other] ; ZUM 9 1995 Limerick

ZUM '95: the Z formal specification notation ; 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995 ; proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin [u.a.]: Springer, 1995 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006

Published in: Lecture notes in computer science ; 96700
Bowen, Jonathan P. [Editor]; Zhu, Huibiao [Editor]

Unifying Theories of Programming : 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10134
Bowen, Jonathan P. [Author] ; Fett, Andreas [Other]; Hinchey, Michael G. [Other]

ZUM '98: The Z Formal Specification Notation : 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1998

Published in: Lecture notes in computer science ; 1493
Bowen, Jonathan P. [Author] ; Hinchey, Michael G. [Other]; Till, David [Other]

ZUM'97: The Z Formal Specification Notation : 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1997

Published in: Lecture notes in computer science ; 1212
Bowen, Jonathan P. [Author] ; Hinchey, Michael G. [Other]

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

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 1995

Published in: Lecture notes in computer science ; 967
Bowen, Jonathan P. [Editor]; Liu, Zhiming [Editor]; Zhang, Zili [Editor]

Engineering Trustworthy Software Systems : Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2017

Published in: Lecture notes in computer science ; 10215
Bert, Didier [Author] ; Bowen, Jonathan P. [Other]; King, Steve [Other]; Waldén, Marina [Other]

ZB 2003: Formal Specification and Development in Z and B : Third International Conference of B and Z Users Turku, Finland, June 4–6, 2003 Proceedings

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2003

Published in: Lecture notes in computer science ; 2651
Bowen, Jonathan P. [Editor]; Li, Qin [Editor]; Xu, Qiwen [Editor]

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday - [1st ed. 2023.]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature Switzerland, 2023. ; Cham: Imprint: Springer, 2023.

Published in: Lecture Notes in Computer Science ; 14080
Bowen, Jonathan P. [Editor]; Liu, Zhiming [Editor]; Zhang, Zili [Editor]

Engineering Trustworthy Software Systems : 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2019

Published in: Programming and Software Engineering ; 11430- Springer eBooks ; Computer Science
Bowen, Jonathan P. [Editor]; Liu, Zhiming [Editor]; Zhang, Zili [Editor]

Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures - [1st ed. 2020.]

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2020. ; Cham: Imprint: Springer, 2020.

Published in: Programming and Software Engineering ; 12154- Springer eBook Collection
Bowen, Jonathan P. [Editor]; Liu, Zhiming [Editor]; Zhang, Zili [Editor]

Engineering Trustworthy Software Systems : Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures

View online
Schließen

Access

Full access (via DOI)

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer International Publishing, 2018

Published in: Programming and Software Engineering ; 11174- SpringerLink ; Bücher
Bowen, Jonathan P. [Editor]; Diprose, Graham [Editor]; Lambert, Nick [Editor] ; Electronic Visualisation and the Arts Veranstaltung 2017 London, British Computer Society, British Computer Society

Electronic Visualisation and the Arts (EVA 2017) : London, UK, 11-13 July 2017

View online
Schließen

Access

http://ewic.bcs.org/category/19127

Show more show less

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

[Swindon, UK; London; Eau Coulee, Mauritius; Colombo, Sri Lanka]: BCS, The Chartered Institute for IT, [2017?]

Published in: Electronic workshops in computing (eWiC)

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication