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: 01563234
Price: 3823 CZK
Availability: InStock
Author: B. Berard
ISBN: 9783540415237

Model-Checking Techniques and Tools

B. Berard

Michel Bidoit

Alain Finkel

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 01563234

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, červen 2001

Model checking is a powerful approach for the formal verification of software. When applicable, it a... Celý popis

Libristo kód: 01563234

382 b

3 823 Kč

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

30 dní na vrácení zboží

Mohlo by vás také zajímat

Materials Reliability in Microelectronics III: Volume 309 Kenneth P. Rodbell

Brožovaná

881 Kč

John Henry Spree's Nottinghamshire Alan Spree

Brožovaná

362 Kč

Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct.This book provides a basic introduction to this 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 themajor 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, Michel Bidoit, Alain Finkel

Jazyk

Angličtina

Vazba Kniha - Pevná

Datum vydání 2001

Počet stran 190

EAN 9783540415237

ISBN 3540415238

Libristo kód 01563234

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

Váha 492

Rozměry 166 x 242 x 24

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