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

Your search for Jorge Sousa Pinto

  1. Cover: Rigorous Software Development - Springer
    José Bacelar Almeida | Maria João Frade | Jorge Sousa Pinto
    Rigorous Software Development
    An Introduction to Program Verification
    05/2026
    2nd EDN2nd Edition
    Springer
    9781447175582 (ISBN)
    E-Book
    PDF
    Other editions
    €64.19
    Available for download
  2. Cover: Rigorous Software Development - Springer
    José Bacelar Almeida | Maria João Frade | Jorge Sousa Pinto
    Rigorous Software Development
    An Introduction to Program Verification
    approx. 05/2026
    2nd EDN2nd Edition
    Springer
    9781447175575 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €64.19
    Not yet published
  3. Cover: Rigorous Software Development - Springer
    José Bacelar Almeida | Maria João Frade | Jorge Sousa Pinto
    Rigorous Software Development
    An Introduction to Program Verification
    01/2011
    1st EDN1st Edition
    Springer
    9780857290182 (ISBN)
    E-Book
    PDF
    Other editions
    €36.99
    Available for download
    New edition available
  4. Cover: Language Engineering and Rigorous Software Development - Springer
    Ana Bove | Luis Soares Barbosa | Alberto Pardo
    Language Engineering and Rigorous Software Development
    International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised, Selected Papers
    07/2009
    Springer
    9783642031526 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  5. Cover: Rigorous Software Development - Springer
    José Bacelar Almeida | Maria João Frade | Jorge Sousa Pinto
    Rigorous Software Development
    An Introduction to Program Verification
    01/2011
    Springer
    9780857290175 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €39.00
    Shipment within 15-20 days
    New edition available