Importe total (1 artículo artículos):
Destino del pedido:
deductive verification object oriented software de weiß benjamin (8 resultados)
Comentarios
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (8)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición
- Todos los libros
- Nuevos (8)
- Antiguos o usados (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (8)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (5)
- No impresión bajo demanda (5)
Idioma (1)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45
- Más de EUR 45
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 38,32
Convertir monedaEUR 4,73 gastos de envío desde Reino Unido a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por Karlsruher Institut Für Technologie, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,50
Convertir monedaEUR 11,99 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: California Books, Miami, FL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 53,35
Convertir monedaEUR 7,02 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Aug 2014, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,50
Convertir monedaEUR 35,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.Books on Demand GmbH, Überseering 33, 22297 Hamburg 292 pp. Englisch.
-
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 46,82
Convertir monedaEUR 65,84 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por Karlsruher Institut Für Technologie Feb 2011, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,50
Convertir monedaEUR 11,00 gastos de envío desde Alemania a EspañaCantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction. 292 pp. Englisch.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por KIT Scientific Publishing, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,50
Convertir monedaEUR 19,49 gastos de envío desde Alemania a EspañaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an a.
-
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por Karlsruher Institut für Technologie, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Idioma: Inglés
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 32,50
Convertir monedaEUR 55,00 gastos de envío desde Alemania a EspañaCantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction | Benjamin Weiß | Taschenbuch | 292 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783866446236 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu Print on Demand.
