phone 571 999 090
LIBRISTO 0
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 64 Kč PPL 99 Kč Zásilkovna 54 Kč
phone Kontakt phoneJak nakupovat

Model Checking Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Model Checking Software Dragan Bosnacki
Libristo kód: 02961433
Nakladatelství Springer International Publishing AG, dubna 2016
This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 12-17 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Spain: Mallorca Alan James / Brožovaná
common.buy 1 293 Kč
Psychologische Typen Carl G. Jung / Brožovaná
common.buy 1 570 Kč
Handbook of Forensic Psychology, Fourth Edition Irving B. Weiner / Pevná
common.buy 3 964 Kč
Mobile and Wireless Communications Networks Elizabeth M. Belding-Royer / Brožovaná
common.buy 3 313 Kč
Gatiti Calea Domnului! Drepte Faceti Cararile Lui!: NU E Vrednic Cel Ce Are Suflet MIC in Casa Mare. Vrednic E Cel Ce Ridica Suflet Mare-N Casa Mica. Florian Ion Tiberiu Petrescu / Brožovaná
common.buy 181 Kč
Ursprachlehre Friedrich Schmitthenner / Pevná
common.buy 2 582 Kč
Bears Don't Read! Emma Chichester Clark / Pevná
common.buy 423 Kč
François Truffaut Robert Ingram / Pevná
common.buy 365 Kč
A Resume of A Desperate Woman!: And other writings that will inspire you or just make you think.... Valerie Miller / Brožovaná
common.buy 435 Kč
Wiel Arets - Bas Princen John Bezold / Pevná
common.buy 2 358 Kč
Growth Factors and Cytokines in Skeletal Muscle Development, Growth, Regeneration and Disease Jason White / Pevná
common.buy 2 866 Kč
Fearless Daughters of the Bible - What You Can Learn from 22 Women Who Challenged Tradition, Fought Injustice and Dared to Lead J. Lee Grady / Brožovaná
common.buy 436 Kč

This book§constitutes the refereed proceedings of the 23rd International Symposium on Model§Checking Software, SPIN 2016, held in Eindhoven, The Netherlands, in April 2016.§§The 16 papers presented, consisting of 11 regular papers, 1 idea paper, and 4§tool demonstrations, were carefully reviewed and selected from 27 submissions. Topics covered include model checking techniques, model checking tools, concurrent system semantics, equivalence checking, temporal logics, probabilistic systems, schedule and strategy synthesis using model checking, and verification case studies.§

Informace o knize

Plný název Model Checking Software
Autor Dragan Bosnacki, Anton Wijs
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2016
Počet stran 245
EAN 9783319325811
ISBN 3319325817
Libristo kód 02961433
Nakladatelství Springer International Publishing AG
Váha 4044
Rozměry 155 x 235 x 235

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 > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
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

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet