Prototype Verification System: Specification Language, Formal Specification, Formal Semantics of Programming Languages - Tapa blanda
Resultados de la búsqueda para Prototype Verification System: Specification Language,...
Imagen del vendedor
Prototype Verification System
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133195169
ISBN 13: 9786133195165
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 104 pp. Englisch. Nº de ref. del artículo: 9786133195165
Comprar nuevo
EUR 156,00
Envío por EUR 23,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Prototype Verification System | Specification Language, Formal Specification, Formal Semantics of Programming Languages
Impresión bajo demandaLibrería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 134885823
Comprar nuevo
EUR 125,30
Envío por EUR 70,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 5 disponibles
Imagen del vendedor
Prototype Verification System
Publicado por
Omniscriptum Mär 2026, 2026
ISBN 10: 6133195169
ISBN 13: 9786133195165
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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 ref. del artículo: 9786133195165
Comprar nuevo
EUR 156,00
Envío por EUR 60,00
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen del vendedor
Prototype Verification System : Specification Language, Formal Specification, Formal Semantics of Programming Languages
Impresión bajo demandaLibrería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering. Nº de ref. del artículo: 9786133195165
Comprar nuevo
EUR 157,87
Envío por EUR 60,87
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles