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.

Systems and Software Verification

Name: Systems and Software Verification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01652609
Price: 3297 CZK
Availability: InStock
Author: B. Berard
ISBN: 9783642074783

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01652609

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, prosinec 2010

Model checking is a powerful approach for the formal verification of software. It automatically prov... Celý popis

Libristo kód: 01652609

330 b

3 297 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Brožovaná

315 Kč

Maoři Václav Černý

Pevná

305 Kč

Иди и делай. 12 принципов жизни, полной побед и достижений

Pevná

466 Kč

Un chien à ma table Hunzinger

Brožovaná

765 Kč

The Fame Monster Lady Gaga Audio

Audio CD

226 Kč

Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.

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 Systems and Software Verification

Autor B. Berard, M. Bidoit, A. Finkel, F. Laroussinie

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2010

Počet stran 190

EAN 9783642074783

ISBN 3642074782

Libristo kód 01652609

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 328

Rozměry 155 x 235 x 18

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 > 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 > Systémová analýza a systémový design

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

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