Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Balík do ruky 74 Balíkovna 49 GLS 54 Kurýr GLS 64 Zásilkovna 44 PPL 99

Integration of Software Specification Techniques for Applications in Engineering

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Integration of Software Specification Techniques for Applications in Engineering H. Ehrig
Libristo kód: 01559827
This book constitutes the documentation of the scientific outcome of the priority program Integratio... Celý popis
? points 168 b
1 681
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


Die Drachenkämpferin - Im Land des Windes Licia Troisi / Brožovaná
common.buy 225
Judicial Review and Bureaucratic Impact Marc HertoghSimon Halliday / Brožovaná
common.buy 1 071
Pornographic Archaeology Zrinka Stahuljak / Pevná
common.buy 2 980
De iustitia et iure. Manfred Harder / Pevná
common.buy 5 233
Municipal Waste Incineration Risk Assessment Curtis C. Travis / Pevná
common.buy 3 029
Prozessoptimierung im Personalwesen Florian Friedrich / Brožovaná
common.buy 963
Fuzzy Quantifiers Ingo Gloeckner / Pevná
common.buy 5 094
Vector Optimization with Infimum and Supremum Andreas Löhne / Brožovaná
common.buy 3 611
Připravujeme
Drohnen und das Recht Robert Frau / Brožovaná
common.buy 2 770
Root and Tuber Crops J. E. Bradshaw / Pevná
common.buy 6 578
Der innovative Rechentrainer Andrea Schinhärl / Brožovaná
common.buy 473

This book constitutes the documentation of the scientific outcome of the priority program Integration of Software Specification Techniques for Applications in Engineering sponsored by the German Research Foundation (DFG). It includes main contributions of the projects of the priority program and of additional international experts in the field. Some of the papers included were presented at the related Third International Workshop on the topic, INT 2004, held in Barcelona, Spain in March 2004.The 25 revised full papers presented together with 6 section introductions by the volume editors were carefully reviewed and selected for inclusion in the book. The papers are organized in topical sections on reference case study production automation, reference case study traffic control systems, petri nets and related approaches in engineering, charts, verification, and integration modeling.

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é

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet