phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 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 Robert Hierons
Libristo kód: 02016931
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, září 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Celý popis
? points 168 b
1 681 Kč
Skladem u dodavatele v malém množství Odesíláme za 10-15 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Brožovaná
common.buy 570 Kč
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Brožovaná
common.buy 3 320 Kč
All-American Boy Larzer Ziff / Pevná
common.buy 587 Kč
Fortune like the Moon Alys Clare / Brožovaná
common.buy 312 Kč
Le Lai de Lanval Marie de France / Brožovaná
common.buy 160 Kč
What Works in Corrections Doris Layton MacKenzie / Pevná
common.buy 3 951 Kč
Připravujeme
Dirty Deeds: Dirty Angels 2 Karina Halle / Brožovaná
common.buy 282 Kč
White House is Burning Jane Sutcliffe / Pevná
common.buy 472 Kč
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Brožovaná
common.buy 650 Kč
L-Architectes Heinz Wirz / Brožovaná
common.buy 1 002 Kč
THE BOOK OF THE THOUSAND NIGHTS AND ONE JOHN PAYNE / Brožovaná
common.buy 774 Kč
Necessary Goods Gillian Brock / Brožovaná
common.buy 1 890 Kč

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

Informace o knize

Plný název Software Engineering and Formal Methods
Autor Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2013
Počet stran 321
EAN 9783642405600
ISBN 3642405606
Libristo kód 02016931
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 5153
Rozměry 155 x 235 x 19

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