«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Automated Theorem Proving in Software Engineering

Idioma InglésInglés
Libro Tapa dura
Libro Automated Theorem Proving in Software Engineering Johann M. Schumann
Código Libristo: 05275134
Editores Springer, Berlin, noviembre 2000
Growing demands for the quality, safety, and security of software can only be met by rigorous applic... Descripción completa
? points 152 b
62.19 €
Almacenamiento externo Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

GESTIONAR LAS RELACIONES CON LOS CLIENTES DE LO FÍSICO A LO VIRTUAL / Libro Tapa blanda
common.buy 83.52 €
Vêtements / Libro Tapa dura
common.buy 8.99 €
Réussir sur le marché chinois Li / Libro Tapa blanda
common.buy 28.89 €
Chantal im Märchenland Robert Kummer / Video Blu-ray
common.buy 15.00 €
Llibertat o mort Arnau Granolleras / Libro Tapa blanda
common.buy 15.49 €
LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Libro Tapa blanda
common.buy 19.59 €
O Enigma Do Coronel Fawcett Hermes Leal / Libro Tapa blanda
common.buy 30.19 €
Annales BAC 2023 Maths Terminale - Corrigé collegium / Libro Tapa dura
common.buy 11.39 €
Chi znaesh ti Petsona i Findusa? Sven Nordqvist / Libro Tapa dura
common.buy 11.39 €
Le chemin de Sophie Geoffrion / Libro Hoja
common.buy 18.49 €
COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA / Libro Libro
common.buy 17.29 €
UM POUCO DE CONFIANÇA WINTERS / Libro Libro
common.buy 5.39 €
Gesammelte Schriften und Dichtungen Richard Wagner / Libro Tapa blanda
common.buy 40.39 €
Diversit? faunistica e floreale dei parchi nazionali dell'India: Parte IV Joice Tom Job / Libro Tapa blanda
common.buy 50.19 €
Etude En Rouge Arthur Conan Doyle / Libro Tapa blanda
common.buy 11.59 €
Popular
BLACK CAT LESEN UND ÜBEN 1 - EINE SPEZIELLE BAND + CD Sabine Werner / Libro Tapa blanda
common.buy 9.09 €
Die Hochzeit von Auschwitz Erich Hackl / Libro Tapa blanda
common.buy 12.39 €
entburokratisierte Pflegedokumentation Mathias Berger / Libro Tapa blanda
common.buy 34.59 €
Einzige und sein Eigentum Max Stirner / Libro Tapa blanda
common.buy 9.69 €
Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal / Libro Tapa blanda
common.buy 78.49 €
Lehre vom Gerechten Krieg (bellum iustum) in der Katholischen Kirche Matthias Reim / Libro Tapa blanda
common.buy 17.89 €
Geschichte der Hexenprozesse in Bayern Sigmund Riezler / Libro Tapa blanda
common.buy 41.31 €
Principes de Droit Civil Francais, Volume 12 Franois Laurent / Libro Tapa blanda
common.buy 33.69 €
L'Expedition de Madagascar M BARBOU / Libro Tapa blanda
common.buy 18.59 €

Growing demands for the quality, safety, and security of software can only be met by rigorous application of formal methods during software design. This book methodically investigates the potential of first-order logic automated theorem provers for applications in software engineering. Illustrated by complete case studies on protocol verification, verification of security protocols, and logic-based software reuse, this book provides techniques for assessing the provers' capabilities and for selecting and developing an appropriate interface architecture. The book demonstrates that state-of-the-art automated theorem provers are capable of automatically handling important tasks in the design of high quality software and provides many helpful techniques for increasing the practical usability of automated theorem provers.§Systemvoraussetzungen: CD-ROM drive, Unix (Sun OS 4.X, Sun Solaris, HP-UX) and Linux platforms.

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Automated Theorem Proving in Software Engineering
Autor Johann M. Schumann
Idioma Inglés
Encuadernación Libro - Tapa dura
Fecha de publicación 2001
Número de páginas 228
EAN 9783540679899
ISBN 3540679898
Código Libristo 05275134
Editores Springer, Berlin
Peso 472
Dimensiones 156 x 234 x 15

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Arquitectura de la información
Computación e informática > Hardware (o soporte físico del ordenador) > Hardware de redes
Computación e informática > Hardware (o soporte físico del ordenador) > Mantenimiento y reparación
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Computación e informática > Sistemas operativos
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Social Biases During Covid 19 Wojciech Kulesza / Libro Tapa blanda
common.buy 56.59 €
Pink Eye: Infection Andrew Liebau / Libro Tapa blanda
common.buy 8.09 €
Covered with Glory Rod Gragg / Libro Tapa blanda
common.buy 34.59 €
Recollections of Siberia, in the Years 1840 and 1841. [With a Map.] Charles Herbert Cottrell / Libro Tapa blanda
common.buy 30.29 €
The Poetical Works Of Gavin Douglas, Bishop Of Dunkeld, With Memoir, Notes And Glossary Gavin Douglas / Libro Tapa blanda
common.buy 35.69 €
Tapping into the Secrets of Wellness James W Foster / Libro Tapa dura
common.buy 35.69 €
Stealth Moves Sanna Hines / Libro Tapa blanda
common.buy 22.59 €
Die Twice: Two Crime Novels in One the Business of Dying and the Murder Exchange Simon Kernick / Libro Tapa blanda
common.buy 37.59 €
The Lowest Blue Flame Before Nothing: Short Stories Lara Stapleton / Libro Tapa blanda
common.buy 9.89 €
Worthy Jada Pinkett Smith / Libro Tapa dura
common.buy 30.29 €
I'm So Satisfied in God Nina Haliburton / Libro Tapa blanda
common.buy 20.59 €
Earthrise Aprilynne Pike / Libro Tapa blanda
common.buy 15.79 €
Predicting Business Success Matthew Betts / Libro Tapa blanda
common.buy 33.09 €
Belonging across the Bay of Bengal Michael Laffan / Libro Tapa blanda
common.buy 53.09 €
Design Technology of System-Level EMC Engineering Xiaobin Tang / Libro Tapa dura
common.buy 151.79 €
Echoes in the Stream of Time: A Gothic Adventure Gamebook Dario Nardi / Libro Tapa blanda
common.buy 9.39 €
CDL Exam Prep 2020-2021 Jerry Johnson / Libro Tapa dura
common.buy 28.89 €
Popular
Welcoming Food, Book 2 Andrew Sterman / Libro Tapa blanda
common.buy 45.29 €
Professional Development, Reflection and Enquiry Christine Forde / Libro Tapa dura
common.buy 128.19 €
Wrap Martin Charles / Libro Tapa blanda
common.buy 19.59 €
Poetical Works of Charles Churchill; With Copious Notes and A Life of the Author, by W. tooke, F.R.S. in Three Volumes. Vol. 3. Charles Churchill / Libro Tapa blanda
common.buy 33.69 €
Próximamente
Black Patriots and Loyalists Alan Gilbert / Libro Tapa dura
common.buy 33.99 €
Ambrosius, Bischof von Mailand Th Förster / Libro Tapa dura
common.buy 37.39 €
Only an Irish Boy Andy Burke's Fortunes Horatio Alger / Libro Tapa blanda
common.buy 12.89 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?