Frade Maria (125 results)
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 4.37
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 2 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Frade, Maria (illustrator).
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 6.31
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Frade, Maria (illustrator).
- Softcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - As new
£ 6.58
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: as new. Wie neu/Like new. Frade, Maria (illustrator).
- Softcover
Seller: Ammareal, Morangis, FranceAmmareal
Contact seller5-star sellerCondition: Used - Near fine
£ 3.04
£ 13.91 shippingShips from France to U.S.A.Quantity: 1 available
Softcover. Condition: Bon. Ancien livre de bibliothèque avec équipements. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Ammareal gives back up to 15% of this item's net price to charity organizations. Frade, Maria (illustrator).…
- Softcover
Seller: Librairie Thé à la page, Montélimar, FranceLibrairie Thé à la page
Contact seller5-star sellerCondition: Used - Fine
£ 7.73
£ 11.80 shippingShips from France to U.S.A.Quantity: 1 available
Couverture souple. Condition: Tres bon. MARTINIERE J collection , 2021. 1 volume format In-8 très bon. Frade, Maria (illustrator).
- Softcover
Seller: Librairie Thé à la page, Montélimar, FranceLibrairie Thé à la page
Contact seller5-star sellerCondition: Used - As new
£ 7.73
£ 11.80 shippingShips from France to U.S.A.Quantity: 1 available
Couverture souple. Condition: Comme neuf. MARTINIERE J collection , 2021. 1 volume format In-8 comme neuf. Frade, Maria (illustrator).
- Softcover
Seller: Librairie Thé à la page, Montélimar, FranceLibrairie Thé à la page
Contact seller5-star sellerCondition: Used - Fine
£ 7.73
£ 11.80 shippingShips from France to U.S.A.Quantity: 1 available
Couverture souple. Condition: Tres bon. MARTINIERE J collection , 2021. 1 volume format In-8 très bon. Frade, Maria (illustrator).
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 12.84
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 1st edition. 40 pages. Spanish language. 8.27x5.51x0.10 inches. In Stock.
- Hardcover
Seller: medimops, Berlin, Germanymedimops
Contact seller5-star sellerCondition: Used - Very good
£ 11.91
£ 8.43 shippingShips from Germany to U.S.A.Quantity: 1 available
Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Frade, Maria (illustrator).
RIGOROUS SOFTWARE DEVELOPMENT
Almeida, José Bacelar Bacelar; Frade, Maria João; Pinto, Jorge Sousa; Melo De Sousa, Simão
Language: English
Published by Springer, 2011
Series: Book 20 of 99 - Undergraduate Topics in Computer Science
- Softcover
- International Edition
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contact seller5-star sellerInternational EditionCondition: New
£ 28.44
Free ShippingShips within U.S.A.Quantity: 5 available
Condition: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.…
- Softcover
Seller: Librería 7 Colores, Madrid, M, SpainLibrería 7 Colores
Contact seller5-star sellerCondition: Used - Very good
£ 13.03
£ 12.23 shippingShips from Spain to U.S.A.Quantity: 1 available
Tapa Blanda. Condition: Buen estado.
- Softcover
Seller: Le Monde de Kamélia, Bruxelles, BelgiumLe Monde de Kamélia
Contact seller5-star sellerCondition: New
£ 6.52
£ 18.55 shippingShips from Belgium to U.S.A.Quantity: 12 available
Condition: new. Livraison rapide, bien emballé, service client soigné.Pour tout renseignement complémentaire, n'hésitez pas à nous contacter. Frade, Maria (illustrator).
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 38.64
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Revaluation Books, Exeter, United KingdomRevaluation Books
Contact seller5-star sellerCondition: New
£ 20.62
£ 10.00 shippingShips from United Kingdom to U.S.A.Quantity: 1 available
Paperback. Condition: Brand New. 160 pages. French language. 8.98x6.61x0.63 inches. In Stock. Frade, Maria (illustrator).
- Softcover
Seller: Librairie La Canopee. Inc., Saint-Armand, QC, CanadaLibrairie La Canopee. Inc.
Contact seller5-star sellerCondition: Used
£ 20.05
£ 18.01 shippingShips from Canada to U.S.A.Quantity: 1 available
ÉTAT : NEUF / NEW CONDITION 9782732498331 592307 14. Frade, Maria (illustrator).
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 38.64
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Librairie La Canopee. Inc., Saint-Armand, QC, CanadaLibrairie La Canopee. Inc.
Contact seller5-star sellerCondition: Used
£ 23.15
£ 18.01 shippingShips from Canada to U.S.A.Quantity: 1 available
ÉTAT : NEUF / NEW CONDITION 9782732485072 591747 16. Frade, Maria (illustrator).
- Softcover
Seller: Librairie La Canopee. Inc., Saint-Armand, QC, CanadaLibrairie La Canopee. Inc.
Contact seller5-star sellerCondition: Used
£ 23.15
£ 18.01 shippingShips from Canada to U.S.A.Quantity: 1 available
ÉTAT : NEUF / NEW CONDITION 9782732495262 592170 5. Frade, Maria (illustrator).
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.05
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 66.46
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 38.64
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 38.64
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: California Books, Miami, FL, U.S.A.California Books
Contact seller5-star sellerCondition: New
£ 38.64
Free ShippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: Solibri, Epone, FranceSolibri
Contact seller5-star sellerCondition: Used - Fine
£ 4.76
£ 47.64 shippingShips from France to U.S.A.Quantity: 1 available
Condition: fine. très bon état. Optez pour nos livres d'occasion en très bon état, et soutenez l'insertion sociale et l'écologie en leur offrant une seconde vie,Coins abîmés. 334717-1 - Citoyen de demain La démocratie est entre tes mains, Canepa, Julieta, 2021. Frade, Maria (illustrator).
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.44
£ 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.
- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
£ 30.92
£ 59.02 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Legislation and occupation of Belo Horizonte: Landscape of Praça da Liberdade | Cultural Assets, Technology and Territory | Ana Maria Nagem Frade | Taschenbuch | Englisch | 2025 | Our Knowledge Publishing | EAN 9786209149818 | Verantwortliche Person für die EU: SIA OmniScriptum Publishing, Brivibas Gatve 197, 1039 RIGA, LETTLAND, customerservice[at]vdm-vsg[dot]de | 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
Seller: Books Puddle, Woodside, NY, U.S.A.Books Puddle
Contact seller4-star sellerCondition: New
£ 89.52
£ 2.99 shippingShips within U.S.A.Quantity: 4 available
Condition: New.
Language: Spanish
Published by Consejo Superior de Investigaciones Cientificas, 2021
- Softcover
Seller: Hilando Libros, Madrid, M, SpainHilando Libros
Contact seller5-star sellerCondition: New
£ 12.50
£ 59.02 shippingShips from Spain to U.S.A.Quantity: 2 available
Rústica. Condition: NUEVO. 193 pages/páginas.
- Softcover
Seller: LiLi - La Liberté des Livres, CANEJAN, FranceLiLi - La Liberté des Livres
Contact seller5-star sellerCondition: Used - Fine
£ 5.08
£ 54.81 shippingShips from France to U.S.A.Quantity: 1 available
Condition: fine. l'article peut presenter de tres legers signes d'usure, petites rayures ou imperfections esthetiques. vendeur professionnel; envoi soigne en 24/48h. Frade, Maria (illustrator).
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
£ 66.23
£ 29.51 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software errors can lead to catastrophic consequences, from financial losses to threats to human safety. As a result, rigorous methods for software development and validation have become increasingly critical. Program verification, a key area of formal methods, provides mathematical tools and techniques to ensure that software behaves as intended.This book provides a comprehensive introduction to program verification, combining theoretical foundations with practical applications using real-world tools. It offers a self-contained overview of propositional logic and first-order reasoning with theories, followed by a study of Hoare-style program logic with annotations and the generation of verification conditions. The use of Frama-C s WP plug-in for verifying C programs annotated with the ACSL specification language, including safety properties, is also covered. This revised and expanded second edition incorporates recent advances in formal methods and program verification, integrating new techniques, tools, and exercises to equip readers with the skills necessary for rigorous software development.Rigorous Software Development is ideal for computer science students, researchers in formal methods, and software engineers seeking a deeper understanding of program verification techniques and tools. It equips readers with the knowledge needed to apply rigorous methods in practice while providing a solid foundation for the evolving landscape of modern software engineering.…
