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

15th International Conference on Formal EngineeringMethods, ICFEM 2013, Queenstown, New Zealand, October 29 - November 1, 2013, Proceedings

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods and Software Engineering Lindsay Groves
Libristo kód: 02084745
Nakladatelství Springer, Berlin, listopad 2012
This book constitutes the refereed proceedings of the 15th International Conference on Formal Engine... Celý popis
? points 118 b
1 181 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

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

Zákazníci také koupili

JE COLORIE A L'INFINI - FERME Kniha binding.
common.buy 256 Kč
Impact économique et social de la privatisation au Pakistan Muhammad Ahsen / Kniha Brožovaná
common.buy 489 Kč
Diario sereto de Pulgarcito Philippe Lechermeier / Kniha Brožovaná
common.buy 585 Kč
ENDODONCIA ROTATORIA EN DIENTES PRIMARIOS Mukesh Kumar / Kniha Brožovaná
common.buy 1 398 Kč
Pars, cours ! Alice Verret Aimee Verret / E-kniha Adobe ePub DRM
common.buy 211 Kč
Goebekli Tepe Harry Eilenstein / Kniha Brožovaná
common.buy 669 Kč
PROTEUS VOLUMES 1 ET 2 LOUIS RAFFIN Kniha Brožovaná
common.buy 849 Kč
Organizacao familiar agricola Raquel Silvestrin Zanon / Kniha Brožovaná
common.buy 911 Kč
Abgründe des Alltags Silja Kyrada / Kniha Brožovaná
common.buy 221 Kč
Sonaten für Violine und Klavier Nurit/Pescia Stark / Audio Audio CD
common.buy 553 Kč
De la création ? la saturation du concept : L'esthétique relationnelle Fiona Vilmer / Kniha Brožovaná
common.buy 1 458 Kč

This book constitutes the refereed proceedings of the 15th International Conference on Formal Engineering Methods, ICFEM 2013, held in Queenstown, New Zealand, in October/November 2013. The 28 revised full papers together with 2 keynote speeches presented were carefully reviewed and selected from 88 submissions. The topics covered are abstraction and refinement, formal specification and modeling, program analysis, software verification, formal methods for software safety, security, reliability and dependability, tool development, integration and experiments involving verified systems, formal methods used in certifying products under international standards, and formal model-based development and code generation.

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 Lindsay Groves, Jing Sun
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 466
EAN 9783642412011
ISBN 3642412017
Libristo kód 02084745
Nakladatelství Springer, Berlin
Váha 735
Rozměry 154 x 234 x 24

Kategorie

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 > Teorie algoritmů
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

Advances in Cryptology - ASIACRYPT 2002 Yuliang Zheng / Kniha Brožovaná
common.buy 1 181 Kč
Post-Qualitative Research and Innovative Methodologies Mark Murphy / Kniha Pevná
common.buy 3 660 Kč
Seven Black Diamonds Melissa Marr / Kniha Brožovaná
common.buy 191 Kč
Ketchup with the Jessup's Carissa Bryant / Kniha Brožovaná
common.buy 447 Kč
Wineocology Caitlin Stansbury / Kniha Brožovaná
common.buy 463 Kč
Identity and Personhood Laurance Joseph Splitter / Kniha Brožovaná
common.buy 1 181 Kč
Coppee and Maupassant Tales Arnold Guyot Cameron / Kniha Brožovaná
common.buy 448 Kč
Laws and Courts of the Massachusetts Bay Colony: A Paper Read Before the Bostonian Society, Council Chamber, Old State House, December 20, 1910. Frank E Bradbury / Kniha Brožovaná
common.buy 287 Kč
Marius and the Cloud: A tale about homosexuality for children Raquel Huete Iglesias / Kniha Brožovaná
common.buy 289 Kč
Lonely Planet New Zealand Planet Lonely / Kniha Brožovaná
common.buy 841 Kč
Contested Criminalities in Zimbabwean Fiction Tendai Mangena / Kniha Pevná
common.buy 5 507 Kč
The Ultimate Teacher Gift: A Humorous Middle Grade Novel Cailey Appenzeller / Kniha Brožovaná
common.buy 177 Kč
Speech of the Hon. Henry Clay, on the Subject of the Removal of the Deposites; Delivered in the Senate of the United States, December 26, 30, 1833 Clay / Kniha Pevná
common.buy 685 Kč
Matzah Balls to Communion Wafers Gail Baker / Kniha Pevná
common.buy 742 Kč
Quiche Cookbook: Delicious Quiche Recipes that Will Create the Perfect Breakfast or Brunch Dish Stephanie Sharp / Kniha Brožovaná
common.buy 283 Kč
Winter Honeymoon Jacob M. Appel / Kniha Brožovaná
common.buy 372 Kč
Sun Wordsearch Book 8 The Sun / Kniha Brožovaná
common.buy 232 Kč
Digital Marketing for Doctors Dibakar Bala / Kniha Brožovaná
common.buy 359 Kč
Sexual Reminisces Rare Diamond / E-kniha Adobe ePub DRM
common.buy 155 Kč
Bungo Stray Dogs: Wan!, Vol. 11 Kevin Gifford / Kniha Brožovaná
common.buy 248 Kč
When Someone You Love Has Cancer Cathy Barker / Kniha Pevná
common.buy 403 Kč
Strange Case of Dr Jekyll and Mr Hyde Stevenson / Kniha Brožovaná
common.buy 86 Kč
Titanic Stephanie Barczewski / Kniha Brožovaná
common.buy 947 Kč
Top
Mobile Suit Gundam: The Origin 3 Yoshikazu Yasuhiko / Kniha Pevná
common.buy 538 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?