Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Automated Theorem Proving in Software Engineering

Name: Automated Theorem Proving in Software Engineering
Brand: Springer, Berlin
SKU: 05275134
Price: 1350 CZK
Availability: InStock
Author: Johann M. Schumann
ISBN: 9783540679899

Johann M. Schumann

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05275134

Nakladatelství Springer, Berlin, listopad 2000

Growing demands for the quality, safety, and security of software can only be met by rigorous applic... Celý popis

Libristo kód: 05275134

135 b

1 350 Kč

Skladem u dodavatele v malém množství Odesíláme za 11-15 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

COSMETOLOGIA APLICADA A LA ESTETICA DECORATIVA (ACCESO) BADIA VILA

Kniha

438 Kč

Diversit? faunistica e floreale dei parchi nazionali dell'India: Parte IV Joice Tom Job

Brožovaná

1 035 Kč

Vêtements

Pevná

245 Kč

Le chemin de Sophie Geoffrion

List

472 Kč

Chi znaesh ti Petsona i Findusa? Sven Nordqvist

Pevná

234 Kč

Annales BAC 2023 Maths Terminale - Corrigé collegium

Pevná

301 Kč

Stranianimali Rosa Lombardo

Pevná

692 Kč

LISANDRO ALONSO, HABITER LA NATURE, REVER LE CINEMA BOUCHE Kniha

Brožovaná

499 Kč

UM POUCO DE CONFIANÇA WINTERS

Kniha

134 Kč

Principes de Droit Civil Francais, Volume 12 Franois Laurent

Brožovaná

728 Kč

Pienten lasten satukirja: Kokoelma tarkeista asioista Henri Yoki

Brožovaná

339 Kč

Gesammelte Schriften und Dichtungen Richard Wagner

Brožovaná

833 Kč

ESQUEMA DEL PSICOANÁLISIS SEGUIDO DE ALGUNAS LECCIONES ELEMEN Sigmund Freud

Brožovaná

389 Kč

L'Expedition de Madagascar M BARBOU

Brožovaná

402 Kč

Geschichte der Hexenprozesse in Bayern Sigmund Riezler

Brožovaná

853 Kč

Lehre vom Gerechten Krieg (bellum iustum) in der Katholischen Kirche Matthias Reim

Brožovaná

369 Kč

Der Einsatz von Vomitivmitteln zur Beweissicherung im Strafverfahren. Achim Hackethal

Brožovaná

1 676 Kč

entburokratisierte Pflegedokumentation Mathias Berger

Brožovaná

713 Kč

Ethik der Kinder- und Jugendhilfe Klaus Graf

Brožovaná

612 Kč

Die Hochzeit von Auschwitz Erich Hackl

Brožovaná

288 Kč

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.

Herečka & Polyglotka

EWA KASP pro

Přehrát video

Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Automated Theorem Proving in Software Engineering

Autor Johann M. Schumann

Jazyk

Angličtina

Vazba Kniha - Pevná

Datum vydání 2001

Počet stran 228

EAN 9783540679899

ISBN 3540679898

Libristo kód 05275134

Nakladatelství Springer, Berlin

Váha 472

Rozměry 156 x 234 x 15

Kategorie

Technologie, strojírenství, zemědělství > Elektronické a komunikační inženýrství > Elektrotechnické inženýrství > Automatická kontrola v inženýrství > Robotika

Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura

Výpočetní a informační technologie > Počítačový hardware > Síťová zařízení

Výpočetní a informační technologie > Počítačový hardware > Hardware počítačových a informačních technologií: údržba a opravy

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství

Výpočetní a informační technologie > Informatika > Teorie algoritmů

Výpočetní a informační technologie > Informatika > Umělá inteligence

Výpočetní a informační technologie > Operační systémy