Filtre: Tipărit la comandă

Cărți de John Derrick

Integrated Formal Methods

Editat de Eerke Boiten et al.

24 mar 2004

Preț: 334^.44 lei 418^.06 lei

6-8 săpt.

-20%

Formal Methods for Distributed Processing: A Survey of Object-Oriented Approaches

Editat de Howard Bowman et al.

20 iul 2011

Preț: 359^.26 lei 449^.08 lei

6-8 săpt.

-20%

Formal Methods for Open Object-Based Distributed Systems

Editat de Howard Bowman et al.

30 iun 1997

Preț: 1237^.46 lei 1546^.83 lei

6-8 săpt.

-20%

Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

Lecture Notes in Computer Science, nr. 7321

Editat de John Derrick et al.

6 iun 2012

Preț: 324^.19 lei 405^.23 lei

6-8 săpt.

-20%

Abstract State Machines, Alloy, B, VDM, and Z

Editat de John Derrick et al.

12 iun 2012

Preț: 326^.07 lei 407^.59 lei

6-8 săpt. | 6-10 zile

-20%

Formal Techniques for Networked and Distributed Systems - FORTE 2007

Editat de John Derrick et al.

12 iun 2007

Preț: 325^.88 lei 407^.36 lei

6-8 săpt.

-20%

Refinement: Semantics, Languages and Applications

Autor John Derrick et al.

25 ian 2019

Preț: 319^.60 lei 399^.50 lei

6-8 săpt.

-20%

Refinement in Z and Object-Z: Foundations and Advanced Applications

Autor John Derrick et al.

23 aug 2015

Preț: 630^.68 lei 788^.36 lei

6-8 săpt.

-20%