Cărți de Frank S. de Boer

Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Lecture Notes in Computer Science, nr. 6957

Editat de Bernhard K. Aichernig et al.

12 dec 2011

Preț: 339^.66 lei 424^.58 lei

3-5 săpt.

-20%

Formal Methods for Components and Objects: 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Lecture Notes in Computer Science, nr. 6286

Editat de Frank S. de Boer et al.

4 ian 2011

Preț: 335^.36 lei 419^.20 lei

3-5 săpt.

-20%

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Lecture Notes in Computer Science, nr. 7866

Editat de Elena Giachino et al.

26 aug 2013

Preț: 301^.77 lei 377^.21 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Lecture Notes in Computer Science, nr. 7542

Editat de Bernhard Beckert et al.

3 ian 2013

Preț: 335^.88 lei 419^.85 lei

6-8 săpt.

-20%

Theoretical Computer Science: 7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings

Lecture Notes in Computer Science, nr. 7604

Editat de Jos C.M. Baeten et al.

18 aug 2012

Preț: 337^.52 lei 421^.90 lei

6-8 săpt.

-20%

Verification of Sequential and Concurrent Programs

Texts in Computer Science

Autor Krzysztof R. Apt et al.

14 mar 2012

Preț: 542^.99 lei 678^.73 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Lecture Notes in Computer Science, nr. 4111

Editat de Frank S. de Boer et al.

10 aug 2006

Preț: 340^.82 lei 426^.03 lei

6-8 săpt.

-20%

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Lecture Notes in Computer Science, nr. 2852

Editat de Frank S. de Boer et al.

9 oct 2003

Preț: 343^.62 lei 429^.52 lei

6-8 săpt.

-20%