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

Software Engineering and Formal Methods

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Software Engineering and Formal Methods Dimitra Giannakopoulou
Libristo kód: 05147842
Nakladatelství Springer International Publishing AG, července 2014
This book constitutes the refereed proceedings of the 12th International Conference on Software Engi... 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

Připravujeme
US Marine Corps Handbook 1941-45 George Forty / Pevná
common.buy 793 Kč
X-Men: The Hidden Years Jim Shooter / Brožovaná
common.buy 180 Kč
Die schrillen Vier auf Achse / Hilfe, die Amis kommen, 2 Blu-rays Pembroke J. Herring / Blu-ray
common.buy 452 Kč
Quantitative Logic And Soft Computing - Proceedings Of The Ql&sc 2012 Yongming Li / Pevná
common.buy 7 303 Kč
Recent Developments in the Economics of Science and Innovation / Pevná
common.buy 11 011 Kč
Připravujeme
Peace and Conflict 2008 J. Joseph Hewitt / Brožovaná
common.buy 1 071 Kč
John Stainer Jeremy Dibble / Pevná
common.buy 4 557 Kč
Anatomia Coniunctionis Magnae. Oder Beschreibung der grossen und wol mercklichen Zusammenkunfft beyder obersten Planeten Saturns und Jupiters, Welche Carl von Reifitz / Brožovaná
common.buy 745 Kč

This book constitutes the refereed proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014, held in Grenoble, France, in September 2014.§The 23 full papers presented together with 3 invited and 6 tool papers were carefully reviewed and selected from 106 submissions. They are organized in topical section on program verification, testing, component-based systems, real-time and embedded systems, model checking and automata learning, program correctness, and adaptive and multi-agent systems.

Informace o knize

Plný název Software Engineering and Formal Methods
Autor Dimitra Giannakopoulou, Gwen Salaün
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2014
Počet stran 394
EAN 9783319104300
ISBN 3319104306
Libristo kód 05147842
Nakladatelství Springer International Publishing AG
Váha 6263
Rozměry 155 x 235 x 235

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