Rigorous Software Development Introduction by Almeida José (6 results)
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 61.51
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Rigorous Software Development: An Introduction to Program Verification
Almeida, José Bacelar/ Frade, Maria João/ Pinto, Jorge Sousa/ De Sousa, Simão Melo
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 78.64
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 2 available
Paperback. Condition: Brand New. 2nd edition. 350 pages. 9.26x6.11x9.21 inches. In Stock.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 90.20
£ 3.02 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 51.86
£ 59.33 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Rigorous Software Development | An Introduction to Program Verification | José Bacelar Almeida (u. a.) | Taschenbuch | Undergraduate Topics in Computer Science | xiv | Englisch | 2026 | Springer | EAN 9781447175575 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Softcover
- Print on Demand
Seller: Majestic Books, Hounslow, United KingdomMajestic Books
Contact seller4-star sellerCondition: New
£ 91.58
£ 6.50 shippingShips from United Kingdom to U.S.A.Quantity: 4 available
Condition: New. Print on Demand.
Rigorous Software Development: An Introduction to Program Verification (Undergraduate Topics in Computer Science)
Almeida, José Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
- Softcover
- Print on Demand
Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios
Contact seller4-star sellerCondition: New
£ 93.25
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 4 available
Condition: New. PRINT ON DEMAND.
