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.

Formal Methods and Software Engineering

10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Shaoying Liu
Libristo kód: 01570773
Nakladatelství Springer, Berlin, listopad 2007
This book constitutes the refereed proceedings of the 10th International Conference on Formal Engine... Celý popis
? points 136 b
1 355 Kč
Skladem u dodavatele Odesíláme za 14-21 dnů

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

Zákazníci také koupili

Programmieren Lernen Peter Pepper / Kniha Brožovaná
common.buy 1 079 Kč
Grenzen, Nähe, Respekt Jesper Juul / Kniha Brožovaná
common.buy 269 Kč
Herrschaft Susanne Held / Kniha Pevná
common.buy 536 Kč
Trésors de la Chine ancienne - bronzes rituels de la collection Meiyintang Tsao Kniha Brožovaná
common.buy 877 Kč
Finanzpolitik im Umbruch: Zur Konsolidierung öffentlicher Haushalte. Hans Herbert von Arnim / Kniha Brožovaná
common.buy 1 936 Kč
Richterrecht und Verfassung. Jörn Ipsen / Kniha Brožovaná
common.buy 1 506 Kč
matrimonio nel diritto ebraico Daniele Zaccheddu / Kniha Brožovaná
common.buy 747 Kč

This book constitutes the refereed proceedings of the 10th International Conference on Formal Engineering Methods, ICFEM 2008, held in Kitakyushu-City, Japan, October 2008.§The 20 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 62 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on specification and verification; testing; verification; model checking and analysis; tools; application of formal methods; semantics.

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 and Software Engineering
Autor Shaoying Liu, Tom Maibaum, Keijiro Araki
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2008
Počet stran 397
EAN 9783540881933
ISBN 354088193X
Libristo kód 01570773
Nakladatelství Springer, Berlin
Váha 635
Rozměry 155 x 235 x 21

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 > Operační systémy
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

Story from Pullmantown Nico Bech-Myer / Kniha Brožovaná
common.buy 348 Kč
Literature in the Light of Philosophy Garry L. Hagberg / E-kniha Adobe ePub DRM
common.buy 3 562 Kč
Připravujeme
Measuring the Early Modern and Modern Chinese Economy Ziang Liu / Kniha Pevná
common.buy 4 139 Kč
Top
Kimi ni Todoke: From Me to You: Soulmate, Vol. 3 Karuho Shiina / Kniha Brožovaná
common.buy 220 Kč
Giorgio Strehler Directs Carlo Goldoni Scott Malia / E-kniha Adobe ePub DRM
common.buy 2 760 Kč
Horror Before It Was Cool Weasel Press / Kniha Brožovaná
common.buy 191 Kč
Lives Of Scottish Authors (1801) David Irving / Kniha Brožovaná
common.buy 554 Kč
Developing a Champion's Heart: Leadership Lessons from the Life of David Brian Rezendes / Kniha Brožovaná
common.buy 196 Kč
Ruins of Fate Jamie a Waters / Kniha Pevná
common.buy 358 Kč
Diana Carew Colonel Bridges / Kniha Brožovaná
common.buy 630 Kč
Embracing and Educating the Autistic Child Nicholas D. Young / Kniha Brožovaná
common.buy 820 Kč
Hive to Honey Julie Knutson / Kniha Brožovaná
common.buy 307 Kč
I Love You God Amal Ishraim / Kniha Brožovaná
common.buy 222 Kč
Three Lakes Alan Tulppo / Kniha Pevná
common.buy 558 Kč
Orienting Polymers J.-L. Ericksen / Kniha Brožovaná
common.buy 594 Kč
Microelectronics Education Ton J. Mouthaan / Kniha Pevná
common.buy 2 255 Kč
Statistical Analysis of Environmental Space-Time Processes Nhu D. Le / Kniha Brožovaná
common.buy 3 379 Kč
Essay Towards an Easy and Useful System of Logic Robert Blakey / Kniha Pevná
common.buy 750 Kč
Top
Yacoubian Building Alaa Al Aswany / Kniha Brožovaná
common.buy 226 Kč
So Far, So Goude Jean-Paul Goude / Kniha Pevná
common.buy 2 677 Kč
Body Image Breakthrough Jaci Wightman / Kniha Brožovaná
common.buy 286 Kč
The Garden Crew (We Read Phonics - Level 6) Sindy McKay / Kniha Brožovaná
common.buy 153 Kč
Film Business: A Handbook for Producers Tom Jeffrey / Kniha Brožovaná
common.buy 732 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?