Filtre: Paperback

Cărți de Jim Davies

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Lecture Notes in Computer Science, nr. 1708

Editat de Jeannette M. Wing et al.

13 sep 1999

Preț: 652^.07 lei 815^.08 lei

6-8 săpt.

-20%

Editat de Jim Davies et al.

22 iun 2007

Preț: 640^.94 lei 801^.16 lei

6-8 săpt.

-20%

Editat de Jim Davies et al.

28 oct 2004

Preț: 633^.17 lei 791^.45 lei

6-8 săpt.

-20%

Developments in Services of General Interest

Legal Issues of Services of General Interest

Editat de Erika Szyszczak et al.

29 mai 2013

Preț: 609^.98 lei 717^.62 lei

6-8 săpt.

-15%

Specification and Proof in Real Time CSP

Distinguished Dissertations in Computer Science, nr. 6

Autor Jim Davies

11 ian 2012

Preț: 361^.87 lei 452^.34 lei

6-8 săpt.

-20%

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Lecture Notes in Computer Science, nr. 6527

Editat de Jim Davies et al.

23 mar 2011

Preț: 321^.03 lei 401^.30 lei

6-8 săpt.

-20%

Autor Kevin Feeney et al.

21 oct 2024

Preț: 234^.07 lei 364^.87 lei

6-8 săpt.

-36%

Cărți de Jim Davies

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I

Integrated Formal Methods

Formal Methods and Software Engineering

Developments in Services of General Interest

Specification and Proof in Real Time CSP

Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers

Engineering Agile Big-Data Systems

Papetărie, jocuri, reviste

Cărți de Jim Davies