Zistiť stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zabudnuté heslo
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma
0
Doprava zadarmo s Packetou nad 59.99 €
Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €
phone Kontakt phoneAko nakupovať
Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

FM 2006: Formal Methods

14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha FM 2006: Formal Methods Jayadev Misra
Libristo kód: 01562449
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, august 2006
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, F... Celý popis
? points 265 b
109.03 €
Skladom u dodávateľa v malom množstve Odosielame za 13-18 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Madoka Mágica Different, 1 HANOKAGE / Kniha Pevná
common.buy 8.97 €
Coloriages mystères Fleurs / Kniha Brožovaná
common.buy 21.07 €
Top
Three Cheers for Kid McGear! Sherri Duskey Rinker / Kniha Pevná
common.buy 11.89 €
Grundzüge der Volkswirtschaftslehre Mark P. Taylor / Kniha Brožovaná
common.buy 47.09 €

This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, Canada, August 2006. The book presents 36 revised full papers together with 2 invited contributions and extended abstracts of 7 invited industrial presentations, organized in topical sections on interactive verification, formal modelling of systems, real time, industrial experience, specification and refinement, programming languages, algebra, formal modelling of systems, and more.

Herečka & Polyglotka
EWA KASP pre
Prehrať video
Ewa Kasp
Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov FM 2006: Formal Methods
Autor Jayadev Misra, Tobias Nipkow, Emil Sekerinski
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2006
Počet strán 620
EAN 9783540372158
ISBN 3540372156
Libristo kód 01562449
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 958
Rozmery 155 x 235 x 33

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Mohlo by vás tiež zaujímať

Filmmaker Says Jamie Thompson Stern / Kniha Pevná
common.buy 28.94 €
Top
DARLING in the FRANXX Vol. 5-6 Kentaro Yabuki / Kniha Brožovaná
common.buy 14.72 €
Top
Moonology Manifestation Oracle Yasmin Boland / Tlačovina Karty
common.buy 17.04 €
Vegan Keto Diet for Beginners: The Simplest Plant Based Diet for a Healthy Mind and Body. With Diet Plan, Meal Plan, Meal Prep and Whole Foods Cookbo Mary Knox / Kniha Brožovaná
common.buy 14.31 €
PARCC Math Workbook Reza Nazari / Kniha Brožovaná
common.buy 16.63 €
My Best Recipes Victoria Joly / Kniha Brožovaná
common.buy 17.74 €
We Are Absolutely Not Okay: Fourteen Stories by Teenagers Who Are Picking Up the Pieces Marjie Bowker / Kniha Brožovaná
common.buy 7.86 €
Arms and Armour of the Medieval Joust Tobias Capwell / Kniha Brožovaná
common.buy 10.78 €
Shakespeare's King John. with Notes, Examination Papers, and Plan of Preparation. (Selected.) Brainerd Kellogg / Kniha Pevná
common.buy 29.95 €
Think "Moderates!" Milton King / Kniha Brožovaná
common.buy 16.13 €
Rooftops of Tehran Mahbod Seraji / Kniha Brožovaná
common.buy 11.99 €
Top
Convoluted Universe: Book One Dolores Cannon / Kniha Brožovaná
common.buy 14.82 €
Spiritual Dimension John Cottingham / Kniha Brožovaná
common.buy 33.48 €
Hidden Gems Volume II: Contemporary Black British Plays Deirdre Osborne / Kniha Brožovaná
common.buy 23.39 €

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet
Knižný radca Libroamiko
Ahoj, som Libroamiko, môžem pomôcť?