18 results
Type of media (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
18 results

Your search for Frank S. de Boer

  1. Cover: Theoretical Computer Science - Springer
    Jos C.M. Baeten | Tom Ball | Frank S. de Boer
    Theoretical Computer Science
    7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
    09/2012
    Springer
    9783642334757 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358876 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods for Components and Objects - Springer
    Elena Giachino | Reiner Hähnle | Frank S. de Boer
    Formal Methods for Components and Objects
    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    08/2013
    Springer
    9783642406157 (ISBN)
    E-Book
    PDF
    Other editions
    €48.14
    Available for download
  4. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    11/2010
    Springer
    9783642170713 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Components and Objects - Springer
    Bernhard K. Aichernig | Frank S. de Boer | Marcello M. Bonsangue
    Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    12/2011
    Springer
    9783642252716 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  6. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Stefan Hallerstede
    Formal Methods for Components and Objects
    8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    01/2011
    1st EDN1st Edition
    Springer
    9783642170706 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  7. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
    11/2004
    Springer
    9783540301011 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    09/2009
    3rd EDN3rd Edition
    Springer
    9781848827455 (ISBN)
    E-Book
    PDF
    Other editions
    €85.59
    Available for download
  9. Cover: Formal Methods for Components and Objects - Springer
    Bernhard K. Aichernig | Frank S. de Boer | Marcello M. Bonsangue
    Formal Methods for Components and Objects
    9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010
    12/2011
    Springer
    9783642252709 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  10. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures
    09/2005
    Springer
    9783540291312 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  11. Cover: Formal Methods for Components and Objects - Springer
    Bernhard Beckert | Ferruccio Damiani | Frank S. de Boer
    Formal Methods for Components and Objects
    10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
    01/2013
    Springer
    9783642358869 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: Formal Methods for Components and Objects - Springer
    Elena Giachino | Reiner Hähnle | Frank S. de Boer
    Formal Methods for Components and Objects
    11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures
    08/2013
    Springer
    9783642406140 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €49.22
    Shipment within 7-9 days
  13. Cover: Theoretical Computer Science - Springer
    Jos C.M. Baeten | Tom Ball | Frank S. de Boer
    Theoretical Computer Science
    7th IFIP TC1/WG 2.2 International Conference, TCS 2012, Amsterdam, The Netherlands, September 26-28, 2012, Proceedings
    08/2012
    Springer
    9783642334740 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures
    12/2007
    Springer
    9783540747918 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    03/2012
    3rd EDN3rd Edition
    Springer
    9781447125136 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €85.59
    Shipment within 15-20 days
  16. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
    08/2006
    Springer
    9783540367499 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Formal Methods for Components and Objects - Springer
    Frank S. de Boer | Marcello M. Bonsangue | Susanne Graf
    Formal Methods for Components and Objects
    Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures
    10/2004
    Springer
    9783540229421 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Verification of Sequential and Concurrent Programs - Springer
    Krzysztof R. Apt | Frank S. de Boer | Ernst-Rüdiger Olderog
    Verification of Sequential and Concurrent Programs
    10/2009
    3rd EDN3rd Edition
    Springer
    9781848827448 (ISBN)
    Book
    Hardback
    Other editions
    €106.99
    Shipment within 15-20 days