Jonathan P. Bowen - Böcker
2 089 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
2 089 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
2 089 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
Third International School, SETSS 2017, Chongqing, China, April 17–22, 2017, Tutorial Lectures
709 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures
819 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
5th International School, SETSS 2019, Chongqing, China, April 21–27, 2019, Tutorial Lectures
709 kr
Skickas inom 10-15 vardagar
Theories of Programming and Formal Methods
Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
989 kr
Skickas inom 10-15 vardagar
3 059 kr
Skickas inom 10-15 vardagar
3 059 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
Unifying Theories of Programming
6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers
709 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
709 kr
Skickas inom 10-15 vardagar
1 409 kr
Skickas inom 10-15 vardagar
2 299 kr
Skickas inom 10-15 vardagar
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
1 409 kr
Skickas inom 10-15 vardagar
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
689 kr
Skickas inom 10-15 vardagar
ZUM '95: The Z Formal Specification Notation
9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings
1 369 kr
Skickas inom 10-15 vardagar
ZUM'97: The Z Formal Specification Notation
10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings
709 kr
Skickas inom 10-15 vardagar
ZUM '98: The Z Formal Specification Notation
11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings
709 kr
Skickas inom 10-15 vardagar
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
709 kr
Skickas inom 10-15 vardagar
709 kr
Skickas inom 10-15 vardagar
Formal Methods and Testing
An Outcome of the FORTEST Network. Revised Selected Papers
709 kr
Skickas inom 10-15 vardagar
Abstract State Machines, B and Z
First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
709 kr
Skickas inom 10-15 vardagar
Engineering Trustworthy Software Systems
7th International School, SETSS 2025, Beijing, China, May 17–23, 2025, Tutorial Lectures
889 kr
Kommande
Engineering Trustworthy Software Systems
6th International School, SETSS 2024, Chongqing, China, April 14–21, 2024, Tutorial Lectures
709 kr
Skickas inom 10-15 vardagar