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 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Methods: Applications and Technology

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Applications and Technology Lubos Brim
Libristo kód: 01568175
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, února 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Celý popis
? points 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

Výprodej
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Pevná
common.buy 187 Kč
Eye of the Wolf Daniel Pennac / Brožovaná
common.buy 183 Kč
Aerodynamics of Low Reynolds Number Flyers Wei ShyyYongsheng LianJian TangDragos Viieru / Brožovaná
common.buy 1 603 Kč
Terra magica Ostsee-Kreuzfahrt Christian Prager / Pevná
common.buy 495 Kč
Business, Politics and International Relations Clemens WurmPatrick Salmon / Brožovaná
common.buy 1 284 Kč
Ontologie und Dialektik Theodor W. Adorno / Brožovaná
common.buy 500 Kč
Blut und Feuer Michael Gratzke / Brožovaná
common.buy 765 Kč
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Brožovaná
common.buy 986 Kč
Life Skills Matters Grade 1 Student's Book Erato-Nadia BizosPenny HansenMirna Lawrence / Brožovaná
common.buy 142 Kč
Připravujeme Nové
Unbekanntes München Karl Häusler / Pevná
common.buy 391 Kč
Flussschiffbau Wilhelm Teubert / Brožovaná
common.buy 3 640 Kč
"Kominform-Konflikt 1948 - Jugoslawiens Revolte gegen Moskaus Hegemonie Damir Hajric / Brožovaná
common.buy 1 049 Kč
Marked Point Processes on the Real Line Andreas Brandt / Pevná
common.buy 6 849 Kč
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Pevná
common.buy 33 823 Kč
Less Than Zero Stuart J. Murphy / Brožovaná
common.buy 146 Kč
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Brožovaná
common.buy 1 941 Kč

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

Informace o knize

Plný název Formal Methods: Applications and Technology
Autor Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2007
Počet stran 366
EAN 9783540709510
ISBN 3540709517
Libristo kód 01568175
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 575
Rozměry 155 x 235 x 22

Kategorie

Výpočetní a informační technologie > Informatika > Umělá inteligence > Expertní systémy/systémy založené na znalostech
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 > Systémová analýza a systémový design
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