Articoli correlati a Programming Logics: An Introduction to Verification...
Sinossi
This volume is an up-to-date, introductory level text on programming logic. It covers consistent and complementary definitions of programming languages, with emphasis on verification and axiomatic, operational, translational, and denotational semantics. The hands-on approach provides strong coverage of programming language constructs (each chapter introduces a new minilanguage). The book describes the use of free logic in handling errors and establishes connection with classical mathematics (to demonstrate soundness of proofs). There are many exercises.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: quasi ottimoAncien livre de bibliothèque. Légères...
Visualizza questo articolo
EUR 19,90
EUR 8,00 per la spedizione da Francia a Italia
Destinazione, tempi e costiRisultati della ricerca per Programming Logics: An Introduction to Verification...
Foto dell'editore
Programming Logics: An Introduction to Verification and Semantics
Editore:
John Wiley & Sons Inc, 1989
ISBN 10: 0471605395
ISBN 13: 9780471605393
Antico o usato
Rilegato
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Hardcover. Condizione: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Couverture différente. Edition 1989. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Different cover. Edition 1989. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo E-597-389
Quantità: 1 disponibili
Foto dell'editore
PROGRAMMING LOGICS: An Introduction to Verification and Semantics.
Editore:
John Wiley & Sons,, 1989
ISBN 10: 0471605395
ISBN 13: 9780471605393
Antico o usato
Softcover
Da: Nelson & Nelson, Booksellers, Trenton, SC, U.S.A.
Valutazione del venditore 5 su 5 stelle
Softcover. Codice articolo 30338
Quantità: 1 disponibili
Foto dell'editore
Programming Logics: An Introduction to Verification and Semantics
Da: HPB-Red, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Codice articolo S_341863915
Quantità: 1 disponibili