Items related to Theory of Program Structures: Schemes, Semantics, Verificati...
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36) - Softcover
Synopsis
The material in these lecture notes offers an exposition, aimed at graduate students, of program schemata. This represents one approach to formalizing the elusive notion of the semantics of programming languages. The idea is to model an abstract flowchart and study the interrelation between the syntax of programs and the semantics and examine the application of formal proof systems to verify properties of programs.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date1975
- ISBN 10 3540074155
- ISBN 13 9783540074151
- BindingPaperback
- LanguageEnglish
- Edition number2
- Number of pages388
Search results for Theory of Program Structures: Schemes, Semantics, Verificati...
Stock Image
Theory of Program Structures: Schemes, Semantics, Verification
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Edition 1975. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slightly creased cover. Slight signs of wear on the cover. Edition 1975. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # D-484-829
Quantity: 1 available
Seller Image
Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 388 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 570. Seller Inventory # 2194657
Quantity: 1 available
Seller Image
Sheila A. Greibach: Theory of Program Structures: Schemes, Semantics, Verification Lecture Notes in Computer Science, 36
Seller: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, Germany
Seller rating 5 out of 5 stars
Broschiert. Condition: Gut. 388 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten wissenschaftlichen Bibliothek und trägt die entsprechenden Kennzeichnungen (Rückenschild, Instituts-Stempel.); leichte altersbedingte Anbräunung des Papiers; der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. Einbandkanten sind leicht bestoßen. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in Gramm: 615. Seller Inventory # 1791683
Quantity: 1 available
Stock Image
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science 36)
Published by
Springer Verlag, Secaucus, New Jersey, U.S.A., 1976
ISBN 10: 3540074155
ISBN 13: 9783540074151
Used
Paperback
Seller: PsychoBabel & Skoob Books, Didcot, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. Dust Jacket Condition: No Dust Jacket. Ex-Library. Previous owner's sticker and faint library withdrawal stamp on the front cover. Accession slip and withdrawal stamp on title page; library stamps on dedication page. Pen markings across spine foot; faintly bumped spine head and rubbed corners. Spine face and foot of page block slightly grubby and marked due to age. Sound, clean book with tight binding. ADG. Ex-Library. Seller Inventory # 100991
Quantity: 1 available
Stock Image
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science)
Seller: GuthrieBooks, Spring Branch, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. 0387074155 Ex-library paperback in very nice condition with the usual markings and attachments. Seller Inventory # DA1412449
Quantity: 1 available
Stock Image
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLING22Oct2018170260765
Quantity: Over 20 available
Stock Image
Theory of Program Structures: Schemes, Semantics, Verification (Lecture Notes in Computer Science, 36)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783540074151_new
Quantity: Over 20 available
Seller Image
Theory of Program Structures
Published by
Springer Berlin Heidelberg Jan 1975, 1975
ISBN 10: 3540074155
ISBN 13: 9783540074151
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes. 388 pp. Englisch. Seller Inventory # 9783540074151
Quantity: 2 available
Stock Image
Theory of Program Structures : Schemes, Semantics, Verification
Published by
Springer Berlin Heidelberg, 1985
ISBN 10: 3540074155
ISBN 13: 9783540074151
Used
Softcover
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Gut. Zustand: Gut - Gebrauchs- und Lagerspuren. 1. Auflage. Außen: verschmutzt. Innen: Seiten vergilbt. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 388 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 3933540/203
Quantity: 1 available
Seller Image
Theory of Program Structures : Schemes, Semantics, Verification
Published by
Springer Berlin Heidelberg, 1975
ISBN 10: 3540074155
ISBN 13: 9783540074151
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Program schemes ¿ basic definitions and concepts.- Program schemes ¿ basic properties.- Structured Programs.- Correctness and program verification.- Decision problems.- Recursion schemes.- Monadic recursion schemes. Seller Inventory # 9783540074151
Quantity: 1 available