Prototype Verification System: Specification Language, Formal Specification, Formal Semantics of Programming Languages - Softcover
Suchergebnisse für Prototype Verification System: Specification Language,...
Foto des Verkäufers
Prototype Verification System
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 104 pp. Englisch. Bestandsnummer des Verkäufers 9786133195165
Neu kaufen
EUR 156,00
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Foto des Verkäufers
Prototype Verification System | Specification Language, Formal Specification, Formal Semantics of Programming Languages
Print-on-DemandAnbieter: preigu, Osnabrück, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Prototype Verification System | Specification Language, Formal Specification, Formal Semantics of Programming Languages | Lambert M. Surhone (u. a.) | Taschenbuch | Englisch | 2026 | OmniScriptum | EAN 9786133195165 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand. Bestandsnummer des Verkäufers 134885823
Neu kaufen
EUR 125,30
EUR 70,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 5 verfügbar
Foto des Verkäufers
Prototype Verification System
Print-on-DemandAnbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. PVS, or thePrototype Verification System, is a specification language integratedwith support tools and a theorem prover. It was developed at theComputer Science Laboratory of SRI International, California, USA. PVSis based on a kernel consisting of an extension of Church's theory oftypes with dependent types, and is fundamentally a classical typedhigher-order logic. The base types include uninterpreted types that maybe introduced by the user, and built-in types such as the booleansintegers, reals, and the ordinals. Type-constructors include functionssets, tuples, records, enumerations, and abstract data types. Predicatesubtypes and dependent types can be used to introduce constraints; theseconstrained types may incur proof obligations (called type-correctnessconditions or TCCs) during typechecking. PVS specifications areorganized into parameterized theories.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 104 pp. Englisch. Bestandsnummer des Verkäufers 9786133195165
Neu kaufen
EUR 156,00
EUR 60,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar
Foto des Verkäufers
Prototype Verification System : Specification Language, Formal Specification, Formal Semantics of Programming Languages
Print-on-DemandAnbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Bestandsnummer des Verkäufers 9786133195165
Neu kaufen
EUR 157,87
EUR 60,87 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar