Hoppa till sidans huvudinnehåll

Frank S. de Boer - Böcker

Visar alla böcker från författaren Frank S. de Boer.
13 produkter

Verification of Sequential and Concurrent Programs

Av Krzysztof R. Apt, Frank S. de Boer m. fl

Häftad, Engelska, 2012

1 159 kr

Skickas inom 10-15 vardagar

Verification of Sequential and Concurrent Programs

Av Krzysztof R. Apt, Frank S. de Boer m. fl

Inbunden, Engelska, 2009

1 449 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Av Frank S.de Boer, Marcello Bonsangue m. fl

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2004

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2006

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

7th International Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, State of the Art Survey

Av Marcello M. Bonsangue, Eric Madelaine m. fl

Häftad, Engelska, 2009

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers

Av Frank S. de Boer, Marcello M. Bonsangue m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010

Av Bernhard K. Aichernig, Frank S. de Boer m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar

Theoretical Computer Science

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

Av Jos C.M. Baeten, Tom Ball m. fl

Häftad, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers

Av Bernhard Beckert, Ferruccio Damiani m. fl

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar

Formal Methods for Components and Objects

11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Av Elena Giachino, Reiner Hähnle m. fl

Häftad, Engelska, 2013

669 kr

Skickas inom 10-15 vardagar