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

Your search for Augusto Sampaio

  1. Cover: The Application of Formal Methods - Springer
    Simon Foster | Augusto Sampaio
    The Application of Formal Methods
    Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
    08/2024
    Springer
    9783031671142 (ISBN)
    E-Book
    PDF
    Other editions
    €117.69
    Available for download
  2. Cover: Theoretical Aspects of Computing - ICTAC 2016 - Springer
    Augusto Sampaio | Farn Wang
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
    10/2016
    Springer
    9783319467504 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Unifying Theories of Programming - Springer
    Pedro Ribeiro | Augusto Sampaio
    Unifying Theories of Programming
    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
    09/2019
    Springer
    9783030310387 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Testing Techniques in Software Engineering - Springer
    Paulo Borba | Ana Cavalcanti | Augusto Sampaio
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    07/2010
    Springer
    9783642143359 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods - Springer
    Augusto Sampaio | Marielle Stoelinga
    Formal Methods
    27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part II
    approx. 06/2026
    Springer
    9783032262196 (ISBN)
    Book
    Paperback/Softback
    €98.00
    Not yet published
  6. Cover: Testing Techniques in Software Engineering - Springer
    Paulo Borba | Ana Cavalcanti | Augusto Sampaio
    Testing Techniques in Software Engineering
    Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
    07/2010
    1st EDN1st Edition
    Springer
    9783642143342 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  7. Cover: Refinement Techniques in Software Engineering - Springer
    Ana Cavalcanti | Augusto Sampaio | Jim Woodcock
    Refinement Techniques in Software Engineering
    First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures
    09/2006
    Springer
    9783540462538 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Unifying Theories of Programming - Springer
    Pedro Ribeiro | Augusto Sampaio
    Unifying Theories of Programming
    7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
    09/2019
    Springer
    9783030310370 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  9. Cover: Formal Methods - Springer
    Augusto Sampaio | Marielle Stoelinga
    Formal Methods
    27th International Symposium, FM 2026, Tokyo, Japan, May 18-22, 2026, Proceedings, Part I
    05/2026
    Springer
    9783032262035 (ISBN)
    Book
    Paperback/Softback
    €42.79
    Shipment within 15-20 days
  10. Cover: Theoretical Aspects of Computing - ICTAC 2016 - Springer
    Augusto Sampaio | Farn Wang
    Theoretical Aspects of Computing - ICTAC 2016
    13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings
    09/2016
    Springer
    9783319467498 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  11. Cover: The Application of Formal Methods - Springer
    Simon Foster | Augusto Sampaio
    The Application of Formal Methods
    Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
    08/2024
    Springer
    9783031671135 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €70.61
    Shipment within 15-20 days
  12. Cover: Algebraic Approach To Compiler Design, An - World Scientific Publishing Co Pte Ltd
    Augusto Sampaio
    Algebraic Approach To Compiler Design, An
    04/1997
    World Scientific Publishing Co Pte Ltd
    9789810223915 (ISBN)
    Book
    Hardback
    Other editions
    €80.80
    Article not available at the moment