Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Tools and Algorithms for the Construction and Analysis of Systems

18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Tools and Algorithms for the Construction and Analysis of Systems Cormac Flanagan
Libristo kód: 01660701
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2012
This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms f... Celý popis
? points 135 b
1 349 Kč
Skladem u dodavatele v malém množství Odesíláme za 13-18 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

BABADADA black-and-white, Chinese (in chinese script) - Akan Kasa, visual dictionary (in chinese script) - krataa ns?m nkyer?se? w? mu Babadada GmbH / Kniha Brožovaná
common.buy 181 Kč
A lélek sötét oldala / Kniha Kniha
common.buy 347 Kč
MAISON DE PIERRE LOTI (LA) Jean-Pierre Melot / Kniha Brožovaná
common.buy 298 Kč
The art of Gandhara : buddhist monks'art on the north-west frontier of Pakistan Francine / Kniha Brožovaná
common.buy 1 025 Kč
Zrodzeni z legendy Deonn Tracy / Kniha Brožovaná
common.buy 334 Kč
Dein Schicksal liegt in deinen Händen Rubi Astrólogas / Kniha Brožovaná
common.buy 642 Kč
Directoire Pedagogique A l'Usage Des Ecoles Chretiennes Procure Generale / Kniha Brožovaná
common.buy 469 Kč
Ulisse Aldrovandi MASON / Kniha Brožovaná
common.buy 847 Kč
Coloriage géant de la ferme BECHET / Kniha Brožovaná
common.buy 183 Kč
Le Hobbit, illustré par Tove Jansson Tolkien / Kniha Brožovaná
common.buy 721 Kč
Extase Minot / Kniha Brožovaná
common.buy 426 Kč
Vorratsplaner: Kaffee Motiv I Ernährungsmittel Notfallvorsorge für Krisen, Epidemien und Stromausfall Reinhold Anker / Kniha Brožovaná
common.buy 204 Kč
Le Sisteme Des Anciens Et Des Modernes (1733) Marie Huber / Kniha Pevná
common.buy 1 077 Kč
Psychographische Kundensegmentierungen. Vorteile, Einsatzmöglichkeiten und Risiken für Kreditinstitute Viktoria Hagelganz / Kniha Brožovaná
common.buy 389 Kč
deutsch.kompetent 9. Ausgabe Berlin, Brandenburg, Mecklenburg-Vorpommern / Kniha Pevná
common.buy 878 Kč
Legal Persons - "k mpfe" Und Die Organisationale Form Thomas Matys / Kniha Brožovaná
common.buy 1 104 Kč
Klassische Heilkräuter mit Rezepten Eckart Pontow / Kniha Pevná
common.buy 180 Kč

This book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012.§The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Tools and Algorithms for the Construction and Analysis of Systems
Autor Cormac Flanagan, Barbara König
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 560
EAN 9783642287558
ISBN 3642287557
Libristo kód 01660701
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 884
Rozměry 155 x 235 x 30

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 > Počítačový hardware > Síťová zařízení
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Algoritmy a datové struktury
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 > Informatika > Umělá inteligence
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

Mohlo by vás také zajímat

Grundzuge einer historischen und geographischen Pathologie/Pathological Anatomy of Mediterranean and Tropical Diseases F. Henschen / Kniha Brožovaná
common.buy 1 182 Kč
White Stones, Bones, and Mist: Authentic Movement and Living Prayer Jan Alexandra Sandman / Kniha Brožovaná
common.buy 857 Kč
Tall Tails of Mushu Miranda Arguello / Kniha Pevná
common.buy 636 Kč
Top
Zodiac 1000-Piece Round Jigsaw Puzzle / Hra/Hračka Puzzle
common.buy 294 Kč
EtherWorld Claudia Gabel / Kniha Brožovaná
common.buy 179 Kč
How Old Am I in Dog Years? Susan Goldfein / Kniha Brožovaná
common.buy 328 Kč
Concepts of Medicine & Biology Parent Lesson Planner Master Books / Kniha Brožovaná
common.buy 286 Kč
Připravujeme
Unspoken Lisa Jackson / Kniha Brožovaná
common.buy 244 Kč
Peacekeeping, Policing, and the Rule of Law after Civil War Robert A. Blair / Kniha Pevná
common.buy 3 078 Kč
Dickens in the 21st Century Cheri Colby Davis Langdell Ph D / Kniha Brožovaná
common.buy 217 Kč
200 Division Worksheets with 2-Digit Dividends, 1-Digit Divisors: Math Practice Workbook Kapoo Stem / Kniha Brožovaná
common.buy 444 Kč
Turnover Club. Tales Told at the Meetings of the Turnover Club, about Actors and Actresses William T. Hall / Kniha Brožovaná
common.buy 540 Kč
International Symposium for Intelligent Transportation and Smart City (ITASC) 2022 Proceedings Xiaoqing Zeng / Kniha Pevná
common.buy 5 413 Kč
Confessions of an Art Addict Peggy Guggenheim / Kniha Brožovaná
common.buy 303 Kč
Simplified Arithmetic, Statistics and Probability Kingsley Augustine / Kniha Brožovaná
common.buy 403 Kč
Interactive Distributed Multimedia Systems and Telecommunication Services Ralf Steinmetz / Kniha Brožovaná
common.buy 1 182 Kč
Information Systems and Qualitative Research, 1 Allen Lee / Kniha Brožovaná
common.buy 4 707 Kč
Mysticism in the Gospel of John Jey J. Kanagaraj / Kniha Pevná
common.buy 5 449 Kč
African Diaspora Isidore Okpewho / Kniha Brožovaná
common.buy 957 Kč
Lady of Quality Frances Hodgson Burnett / Kniha Pevná
common.buy 542 Kč
Recovery Peter N. Watkins / Kniha Brožovaná
common.buy 1 056 Kč
Free Nation Deep in Debt James Macdonald / Kniha Brožovaná
common.buy 1 796 Kč
France in the Middle Ages 987-1460 - From Hugh Capet to Joan of Arc Georges Duby / Kniha Brožovaná
common.buy 1 375 Kč
Journeys into Emptiness Robert Jingen Gunn / Kniha Brožovaná
common.buy 490 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?