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

Recent Trends in Algebraic Development Techniques

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Recent Trends in Algebraic Development Techniques José Luiz Fiadeiro
Libristo kód: 01560468
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, března 2005
This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on... Celý popis
? points 154 b
1 542 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

Multiphase Flow Dynamics 4 Nikolay Ivanov Kolev / Brožovaná
common.buy 8 458 Kč
Merely Players? Jonathan Holmes / Brožovaná
common.buy 1 426 Kč
Wie erziehe ich meinen Hund Rita Lell / Brožovaná
common.buy 577 Kč
Verfahren zur Produktionsplanung und Produktionssteuerung in industriellen Unternehmungen. Ulrich Schwarzmaier / Brožovaná
common.buy 2 889 Kč
Agents and Computational Autonomy Matthias Nickles / Brožovaná
common.buy 1 542 Kč
Es grollten die Goetter auf Santorin Verena Appenzeller / Brožovaná
common.buy 587 Kč
Offene Hochschulen Anke Hanft / Brožovaná
common.buy 808 Kč
Biografie, Schule Und Geschlecht Davina Höblich / Brožovaná
common.buy 1 406 Kč
Ghislaine Hector Malot / Pevná
common.buy 1 345 Kč
Not for Tourists Guide to London Not For Tourists / Brožovaná
common.buy 514 Kč
Připravujeme
Berlin under the New Empire 2 Volume Set Henry Vizetelly / Brožovaná
common.buy 2 201 Kč

This book constitutes the thoroughly refereed postproceedings of the 17th International Workshop on Algebraic Development Techniques, WADT 2004, held in Barcelona, Spain in March 2004.§The 14 revised full papers presented together with an invited paper were carefully selected during two rounds of reviewing and improvement. Among the topics addressed are formal methods for system development; specification languages and methods; systems and techniques for reasoning about specifications; specification development systems; methods and techniques for concurrent, distributed, and mobile systems; and algebraic and co-algebraic foundations.

Informace o knize

Plný název Recent Trends in Algebraic Development Techniques
Autor José Luiz Fiadeiro, Peter Mosses, Fernando Orejas
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2005
Počet stran 280
EAN 9783540253273
ISBN 3540253270
Libristo kód 01560468
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 900
Rozměry 152 x 229 x 16

Kategorie

Výpočetní a informační technologie > Informatika > Teorie algoritmů > Matematika pro informatiky
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 > Architektura počítače a logic design
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

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