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č 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č
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods: Applications and Technology

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

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, únor 2007
This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Celý popis
? points 118 b
1 182 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Bourvil Mareska / Kniha Brožovaná
common.buy 581 Kč
Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade / Kniha Pevná
common.buy 186 Kč
Terra magica Ostsee-Kreuzfahrt Christian Prager / Kniha Pevná
common.buy 476 Kč
Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle / Kniha Brožovaná
common.buy 389 Kč
Correspondance de Champ Libre T. 1 collegium / Kniha Brožovaná
common.buy 360 Kč
Direkt plus 3B. Podręcznik praca zbiorowa / Kniha Brožovaná
common.buy 282 Kč
Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau / Kniha Brožovaná
common.buy 612 Kč
Rozdělení Československa 1989-1992 Jan Rychlík / Kniha Pevná
common.buy 519 Kč
Flussschiffbau Wilhelm Teubert / Kniha Brožovaná
common.buy 1 987 Kč
Ontologie und Dialektik Theodor W. Adorno / Kniha Brožovaná
common.buy 450 Kč
Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani / E-kniha Adobe ePub DRM
common.buy 279 Kč
¿Puedo mirar tu chupete? Guido van Genechten / Kniha Pevná
common.buy 351 Kč
Zápisník s gumičkou A4 210x290 mm africké masky / Kniha binding.
common.buy 185 Kč
Blut und Feuer Michael Gratzke / Kniha Brožovaná
common.buy 737 Kč
Die Filmdeutung als Weg zum Selbst Otto Teischel / Kniha Pevná
common.buy 1 298 Kč
Reliéfní pasta 3D IZINK - geranium, růžová, 80 ml / Papírenské zboží Papírenské zboží
common.buy 141 Kč
In Auschwitz Sima Vaisman / Kniha Pevná
common.buy 429 Kč
Capilla de San Roque y Su Viejo Hospital de San Roque y La Asuncion Nancy Elizabeth Juncos / Kniha Brožovaná
common.buy 794 Kč
Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf / Kniha Brožovaná
common.buy 1 661 Kč
Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle / Kniha Pevná
common.buy 963 Kč
Niebla Miguel De Unamuno / Kniha Brožovaná
common.buy 320 Kč
Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman / Kniha Brožovaná
common.buy 375 Kč
Die blinden Flecken der RAF Wolfgang Kraushaar / Kniha Pevná
common.buy 480 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.

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 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

Mohlo by vás také zajímat

Enterprise Architecture Martin Op't Land / Kniha Brožovaná
common.buy 1 315 Kč
Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove / Kniha Pevná
common.buy 33 038 Kč
International Comparisons of Energy Consumption Joy Dunkerley / Kniha Brožovaná
common.buy 1 290 Kč
Principles of Protein-Protein Association Harold Erickson / Kniha Pevná
common.buy 3 851 Kč
Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille / Kniha Brožovaná
common.buy 881 Kč
Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston / Kniha Brožovaná
common.buy 423 Kč
Madison Lexy Timms / Kniha Brožovaná
common.buy 237 Kč
Official History of Australia in the War of 1914-1918 C. E. W. BEAN / Kniha Brožovaná
common.buy 1 546 Kč
Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder / Kniha Brožovaná
common.buy 287 Kč
Scottish Law of Conveyancing: Heritable Rights. John Craigie / Kniha Brožovaná
common.buy 538 Kč
Nature and Essence of Economic Theory Joseph A. Schumpeter / Kniha Brožovaná
common.buy 1 475 Kč
How to Draw: Easy Techniques and Step-By-Step Drawings for Kids Aaria Baid / Kniha Brožovaná
common.buy 258 Kč
Competing Visions of India in World Politics K. Sullivan / Kniha Brožovaná
common.buy 2 473 Kč
International Abstracts of Surgery, Volume 27 Anonymous / Kniha Pevná
common.buy 924 Kč
Advertising and Race Linda C. L. Fu / Kniha Brožovaná
common.buy 1 076 Kč
DIE INSZENIERUNG DER ALLTAGSWELT WERNER DURTH / Kniha Brožovaná
common.buy 693 Kč
Common Characteristics and Unique Qualities in Preschool Programs Sue C Wortham / Kniha Brožovaná
common.buy 2 357 Kč
God Spoken Wisdom to Heal Our Souls Rick Kent / Kniha Brožovaná
common.buy 299 Kč
Guilford Guilford Keeping Society / Kniha Brožovaná
common.buy 474 Kč
ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg / Kniha Brožovaná
common.buy 444 Kč
Equipoise: Insights Into Foundational Astral Training Julian Rees / Kniha Brožovaná
common.buy 283 Kč
Buying Multi Family Homes for Investment with Homes for sale in Texas Shawn Mahoney / Kniha Brožovaná
common.buy 258 Kč
Four Sons Of Norway Helen Acker / Kniha Brožovaná
common.buy 663 Kč
How to Change Everything: The Young Human's Guide to Protecting the Planet and Each Other Rebecca Stefoff / Kniha Pevná
common.buy 323 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?