Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Automated Theorem Proving in Software Engineering

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Automated Theorem Proving in Software Engineering Johann M. Schumann
Libristo-code: 05275134
Uitgeverij Springer, Berlin, november 2000
Growing demands for the quality, safety, and security of software can only be met by rigorous applic... Volledige beschrijving
? points 148 b
61.01 €
In extern magazijn in kleine hoeveelheid Wordt binnen 11-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA / Boek Boek
common.buy 18.07 €
Diversit? faunistica e floreale dei parchi nazionali dell'India: Parte IV Joice Tom Job / Boek Gebonden (paperback)
common.buy 45.35 €
Vêtements / Boek Gebonden (harde band)
common.buy 10.09 €
Le chemin de Sophie Geoffrion / Boek Blad
common.buy 19.49 €
Chi znaesh ti Petsona i Findusa? Sven Nordqvist / Boek Gebonden (harde band)
common.buy 10.30 €
Annales BAC 2023 Maths Terminale - Corrigé collegium / Boek Gebonden (harde band)
common.buy 12.42 €
Stranianimali Rosa Lombardo / Boek Gebonden (harde band)
common.buy 28.58 €
LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Boek Gebonden (paperback)
common.buy 20.60 €
UM POUCO DE CONFIANÇA WINTERS / Boek Boek
common.buy 5.55 €
Principes de Droit Civil Francais, Volume 12 Franois Laurent / Boek Gebonden (paperback)
common.buy 31.61 €
Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki / Boek Gebonden (paperback)
common.buy 14.74 €
Gesammelte Schriften und Dichtungen Richard Wagner / Boek Gebonden (paperback)
common.buy 36.56 €
ESQUEMA DEL PSICOANÁLISIS SEGUIDO DE ALGUNAS LECCIONES ELEMEN Sigmund Freud / Boek Gebonden (paperback)
common.buy 16.05 €
L'Expedition de Madagascar M BARBOU / Boek Gebonden (paperback)
common.buy 17.37 €
Geschichte der Hexenprozesse in Bayern Sigmund Riezler / Boek Gebonden (paperback)
common.buy 37.37 €
Lehre vom Gerechten Krieg (bellum iustum) in der Katholischen Kirche Matthias Reim / Boek Gebonden (paperback)
common.buy 16.16 €
Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal / Boek Gebonden (paperback)
common.buy 72.63 €
entburokratisierte Pflegedokumentation Mathias Berger / Boek Gebonden (paperback)
common.buy 31.21 €
Ethik der Kinder- und Jugendhilfe Klaus Graf / Boek Gebonden (paperback)
common.buy 26.86 €
Die Hochzeit von Auschwitz Erich Hackl / Boek Gebonden (paperback)
common.buy 12.52 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Automated Theorem Proving in Software Engineering
Auteur Johann M. Schumann
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2001
Aantal pagina's 228
EAN 9783540679899
ISBN 3540679898
Libristo-code 05275134
Uitgeverij Springer, Berlin
Gewicht 472
Afmetingen 156 x 234 x 15

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica
Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Informatie-architectuur
Informatica en informatietechnologie > Computer hardware > Netwerkhardware
Informatica en informatietechnologie > Computer hardware > Computer hardware: Onderhoud en reparatie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Social Biases During Covid 19 Wojciech Kulesza / Boek Gebonden (paperback)
common.buy 51.62 €
Monster of Shiversands Cove Emma Fischel / Boek Gebonden (paperback)
common.buy 9.59 €
Echoes in the Stream of Time: A Gothic Adventure Gamebook Dario Nardi / Boek Gebonden (paperback)
common.buy 8.88 €
Design Technology of System-Level EMC Engineering Xiaobin Tang / Boek Gebonden (harde band)
common.buy 138.81 €
Belonging across the Bay of Bengal Michael Laffan / Boek Gebonden (paperback)
common.buy 52.93 €
Predicting Business Success Matthew Betts / Boek Gebonden (paperback)
common.buy 31.21 €
The Lowest Blue Flame Before Nothing: Short Stories Lara Stapleton / Boek Gebonden (paperback)
common.buy 9.18 €
Stealth Moves Sanna Hines / Boek Gebonden (paperback)
common.buy 21.21 €
I'm So Satisfied in God Nina Haliburton / Boek Gebonden (paperback)
common.buy 19.29 €
Tapping into the Secrets of Wellness James W Foster / Boek Gebonden (harde band)
common.buy 32.62 €
Covered with Glory Rod Gragg / Boek Gebonden (paperback)
common.buy 32.62 €
Roadside Mountain Bike Maintenance Manual Mike Davis / Boek Gebonden (paperback)
common.buy 12.01 €
You're Him, Aren't You? Paul Darrow / Boek Gebonden (harde band)
common.buy 20.40 €
Only an Irish Boy Andy Burke's Fortunes Horatio Alger / Boek Gebonden (paperback)
common.buy 11.71 €
Kurt Goedel and the Foundations of Mathematics Matthias Baaz / Boek Gebonden (harde band)
common.buy 169.82 €
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 / Boek Gebonden (paperback)
common.buy 31.61 €
Wordt verwacht
Black Patriots and Loyalists Alan Gilbert / Boek Gebonden (harde band)
common.buy 32.62 €
Professional Development, Reflection and Enquiry Christine Forde / Boek Gebonden (harde band)
common.buy 119.81 €
Worthy Jada Pinkett Smith / Boek Gebonden (harde band)
common.buy 28.18 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?