MPG.eBooks - Search Results

Cover Image

1

Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings

Published 2008

Springer Berlin Heidelberg

Cover Image

2

Formal Methods and Testing : An Outcome of the FORTEST Network. Revised Selected Papers

Published 2008

Springer Berlin Heidelberg

Cover Image

3

Formal Methods: State of the Art and New Directions

Published 2010

Springer London

Cover Image

4

Provably Correct Systems

Published 2017

Springer International Publishing

Cover Image

5

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

Published 2017

Springer International Publishing

Cover Image

6

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

Published 1997

Springer Berlin Heidelberg

Cover Image

7

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

Published 2017

Springer International Publishing

Cover Image

8

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Cover Image

9

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

Published 1995

Springer Berlin Heidelberg

Cover Image

10

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

Published 1998

Springer Berlin Heidelberg

Cover Image

11

Industrial-Strength Formal Methods in Practice

Published 1999

Springer London

Cover Image

12

High-Integrity System Specification and Design

by Bowen, Jonathan P., Hinchey, Michael G.
Published 1999

Springer London

Cover Image

13

Electronic Visualisation in Arts and Culture

Published 2013

Springer London

Cover Image

14

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

Published 2019

Springer International Publishing

Cover Image

15

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

Published 2018

Springer International Publishing

Cover Image

16

ZB 2002: Formal Specification and Development in Z and B : 2nd International Conference of B and Z Users Grenoble, France, January 23-25, 2002, Proceedings

Published 2002

Springer Berlin Heidelberg

Cover Image

17

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

Published 2003

Springer Berlin Heidelberg

Cover Image

18

Engineering Trustworthy Software Systems : 5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures

Published 2020

Springer International Publishing

Cover Image

19

Museums and Digital Culture : New Perspectives and Research

Published 2019

Springer International Publishing

Cover Image

20

Theories of Programming and Formal Methods : Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday

Published 2023

Springer Nature Switzerland

1
2