Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Systems and Software Verification

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

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01652609

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, december 2010

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

Libristo kód: 01652609

349 b

144.19 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Proces Politique Et Republicain Du Citoyen Auguste Caunes Sans Auteur

Brožovaná

13.05 €

Maoři Václav Černý

Pevná

14.88 €

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

Pevná

19.23 €

Un chien à ma table Hunzinger

Brožovaná

31.68 €

The Fame Monster Lady Gaga Audio

Audio CD

10.01 €

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 pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Systems and Software Verification

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

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2010

Počet strán 190

EAN 9783642074783

ISBN 3642074782

Libristo kód 01652609

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Váha 328

Rozmery 155 x 235 x 18

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra

Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Systémová analýza a systémový dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia

Výpočtové a informačné technológie > Operačné systémy