Prototype Verification System: Specification Language, Formal Specification, Formal Semantics of Programming Languages - Couverture souple
Résultats de recherche pour Prototype Verification System: Specification Language,...
Image fournie par le vendeur
Prototype Verification System
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 104 pp. Englisch. N° de réf. du vendeur 9786133195165
Acheter neuf
EUR 156
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Prototype Verification System | Specification Language, Formal Specification, Formal Semantics of Programming Languages
impression à la demandeVendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 134885823
Acheter neuf
EUR 125,30
Expédition à EUR 70
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image fournie par le vendeur
Prototype Verification System
impression à la demandeVendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9786133195165
Acheter neuf
EUR 156
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Prototype Verification System : Specification Language, Formal Specification, Formal Semantics of Programming Languages
impression à la demandeVendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. N° de réf. du vendeur 9786133195165
Acheter neuf
EUR 157,87
Expédition à EUR 60,87
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)