Doprava zdarma se Zásilkovnou nad 1 499 Kč

PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Model Checking Software

Name: Model Checking Software
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568802
Price: 1540 CZK
Availability: InStock

Dragan Bosnacki

Stefan Edelkamp

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01568802

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, června 2007

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Chec... Celý popis

Libristo kód: 01568802

154 b

1 540 Kč včetně DPH

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

30 dní na vrácení zboží

Mohlo by vás také zajímat

Premium Touren. Ein schöner Tag wandern Ulrike Poller

/ Brožovaná

447 Kč

Familienmedizin in der hausärztlichen Versorgung der Zukunft Vera Kalitzkus

/ Brožovaná

1 257 Kč

Ambivalent Internet - Mischief, Oddity, and Antagonism Online Ryan M. Milner

/ Pevná

2 058 Kč

Contact! Bob Tuxford

/ Pevná

845 Kč

Preaching the Tradition Rex Mason

/ Brožovaná

1 152 Kč

The Last Outbreak - DESPERATION - Book 3 (A Post-Apocalyptic Thriller) Jeff Olah

/ Brožovaná

395 Kč

This book constitutes the refereed proceedings of the 14th International SPIN workshop on Model Checking Software, SPIN 2007, held in Berlin, Germany in July 2007 in conjunction with the 19th International Conference on Computer Aided Verification, CAV 2007.§The 14 revised full papers presented together with 4 tool presentation papers and the abstracts of 2 invited talks were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on directed model checking, partial order reduction, program analysis, exploration advances, modeling and case studies, as well as tool demonstrations.

Informace o knize

Plný název Model Checking Software

Autor Dragan Bosnacki, Stefan Edelkamp

Jazyk

Angličtina

Vazba Kniha - Brožovaná

Datum vydání 2007

Počet stran 285

EAN 9783540733690

ISBN 3540733698

Libristo kód 01568802

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

Váha 462

Rozměry 155 x 235 x 17

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně

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 > Architektura počítače a logic design

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

Darujte tuto knihu ještě dnes

Je to snadné

1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Doručení

Nákupní rádce