phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

Applied Formal Methods - FM-Trends 98

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Applied Formal Methods - FM-Trends 98 Dieter Hutter
Libristo kód: 01567090
Nakladateľstvo Springer, Berlin, november 1998
This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Celý popis
? points 147 b
58.56 €
Skladom u dodávateľa v malom množstve Odosielame za 10-14 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Dan Young Nebezpečí odjinud Jaroslav Velinský / Brožovaná
common.buy 6.43 €
Literarisches Lernen im Anfangsunterricht Anja Pompe / Brožovaná
common.buy 19.01 €
Hunting and Fishing in a Kammu Village Damrong Tayanin / Pevná
common.buy 57.96 €
Effects of Acid Precipitation on Terrestrial Ecosystems Thomas C. Hutchinson / Pevná
common.buy 124.28 €
Computer Science and Its Applications Abdelmalek Amine / Brožovaná
common.buy 108.38 €
Gods Mercy Mixed with His Justice John Cotton / Pevná
common.buy 42.96 €
Laber - Rynstetten Wolfgang Stammler / Pevná
common.buy 272.11 €
Nanoscaled Semiconductor-on-Insulator Structures and Devices Steve Hall / Pevná
common.buy 229.14 €
Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J / Brožovaná
common.buy 25.55 €
Human Cell Transformation Johng S. Rhim / Pevná
common.buy 177.51 €

This book constitutes the thoroughly refereed post-workshop proceedings of the International Workshopon Current Trends in Applied Formal Methods, FM-Trends 98, held in Boppard, Germany, in October 1998.The book presents two invited papers, 14 regular papers, three application papers, and eight tool presentations. All these papers were carefully reviewed and revised for inclusion in the book. The papers address all current issues in applying formal methods during the different design stages of software systems for use in various application fields.

Informácie o knihe

Celý názov Applied Formal Methods - FM-Trends 98
Autor Dieter Hutter, Werner Stephan, Paolo Traverso
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 1999
Počet strán 384
EAN 9783540664628
ISBN 3540664629
Libristo kód 01567090
Nakladateľstvo Springer, Berlin
Váha 564
Rozmery 156 x 234 x 20

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo
Výpočtové a informačné technológie > Informatika > Teória algoritmov
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Výpočtové a informačné technológie > Operačné systémy
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet