Filtre: Paperback Tipărit la comandă

Cărți de Jonathan P. Bowen

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

Lecture Notes in Computer Science, nr. 10134

Editat de Jonathan P. Bowen et al.

11 ian 2017

Preț: 316^.59 lei 395^.75 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 12154

Editat de Jonathan P. Bowen et al.

aug 2020

Preț: 317^.05 lei 396^.31 lei

43-57 zile

-20%

Engineering Trustworthy Software Systems

Lecture Notes in Computer Science

Editat de Jonathan P. Bowen et al.

5 apr 2025

Preț: 322^.93 lei 403^.66 lei

38-44 zile

-20%

Editat de Robert M. Hierons et al.

8 apr 2008

Preț: 325^.69 lei 407^.10 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 5238

Editat de Egon Börger et al.

8 sep 2008

Preț: 326^.55 lei 408^.19 lei

43-57 zile

-20%

ZUM '98: The Z Formal Specification Notation

Editat de Jonathan P. Bowen et al.

16 sep 1998

Preț: 328^.34 lei 410^.42 lei

43-57 zile

-20%

ZUM'97: The Z Formal Specification Notation

Editat de Jonathan P. Bowen et al.

20 mar 1997

Preț: 328^.94 lei 411^.17 lei

43-57 zile

-20%

ZB 2000: Formal Specification and Development in Z and B

Editat de Jonathan P. Bowen et al.

16 aug 2000

Preț: 332^.81 lei 416^.02 lei

43-57 zile

-20%

ZB 2002: Formal Specification and Development in Z and B

Editat de Didier Bert et al.

16 ian 2002

Preț: 334^.04 lei 417^.55 lei

43-57 zile

-20%

High-Integrity System Specification and Design

Formal Approaches to Computing and Information Technology (FACIT)

Autor Jonathan P. Bowen et al.

12 apr 1999

Preț: 343^.68 lei 429^.60 lei

43-57 zile

-20%

Theories of Programming and Formal Methods

Editat de Jonathan P. Bowen et al.

10 aug 2023

Preț: 464^.42 lei 580^.53 lei

43-57 zile

-20%

Formal Methods: State of the Art and New Directions

Editat de Paul Boca et al.

22 dec 2009

Preț: 625^.93 lei 782^.42 lei

43-57 zile

-20%

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

Lecture Notes in Computer Science, nr. 967

Editat de Jonathan P. Bowen et al.

23 aug 1995

Preț: 634^.94 lei 793^.68 lei

43-57 zile

-20%

ZB 2003: Formal Specification and Development in Z and B

Editat de Didier Bert et al.

20 mai 2003

Preț: 635^.65 lei 794^.57 lei

43-57 zile

-20%

NASA Monographs in Systems and Software Engineering

Editat de Mike Hinchey et al.

3 mai 2018

Preț: 647^.78 lei 809^.73 lei

38-44 zile

-20%

Electronic Visualisation in Arts and Culture

Springer Series on Cultural Computing

Editat de Jonathan P. Bowen et al.

23 aug 2016

Preț: 889^.41 lei 1111^.76 lei

38-44 zile

-20%

Industrial-Strength Formal Methods in Practice

Formal Approaches to Computing and Information Technology (FACIT)

Editat de Michael G. Hinchey et al.

17 sep 1999

Preț: 955^.62 lei 1194^.53 lei

43-57 zile

-20%

Cărți de Jonathan P. Bowen

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

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

Engineering Trustworthy Software Systems

Formal Methods and Testing

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

ZUM '98: The Z Formal Specification Notation

ZUM'97: The Z Formal Specification Notation

ZB 2000: Formal Specification and Development in Z and B

ZB 2002: Formal Specification and Development in Z and B

High-Integrity System Specification and Design

Theories of Programming and Formal Methods

Formal Methods: State of the Art and New Directions

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

ZB 2003: Formal Specification and Development in Z and B

Provably Correct Systems

Electronic Visualisation in Arts and Culture

Industrial-Strength Formal Methods in Practice

Papetărie, jocuri, reviste

Cărți de Jonathan P. Bowen