Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Applied Formal Methods - FM-Trends 98

Name: Applied Formal Methods - FM-Trends 98
Brand: Springer, Berlin
SKU: 01567090
Price: 45.49 EUR
Availability: InStock
Author: Dieter Hutter
ISBN: 9783540664628

International Workshop on Current Trends in Applied Formal Methods, Boppard, Germany. October 7-9, 1998. Proceedings

Dieter Hutter

Werner Stephan

Paolo Traverso

Język

Angielski

Książka Miękka

Kod Libristo: 01567090

Wydawnictwo Springer, Berlin, listopad 1998

This book constitutes the thoroughly refereed post-workshop proceedings of the International Worksho... Cały opis

Kod Libristo: 01567090

111 b

45.49 € včetně DPH

Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Dan Young Nebezpečí odjinud Jaroslav Velinský

Miękka

6.39 €

Jo-Jo Sprachbuch - Allgemeine Ausgabe 2024 - 4. Schuljahr Sandra Meeh

Miękka

10.50 €

Aroma Carel

CD Audio

15.19 €

Efeito da temperatura elevada na argamassa de cimento que incorpora cinza de lagoa Pramod Patil

Miękka

27.99 €

Dedans, dehors et autres situations godon i. Książka

Twarda

8.49 €

Das perfekte Buch für Stadtkinder Emil Meier

Miękka

12.99 €

Empoderamento das Mulheres na Paisagem Rural Local de Bangladesh Rajib Chandra Das

Miękka

46.59 €

Warhammer: Zabíječ bestií (2. vydání) William King

Miękka

12.09 €

Ravenhall Academy 1: Verborgene Magie Julia Kuhn

Miękka

17.00 €

Du hast mich voll erwischt Anna Bell

Miękka

12.99 €

Kita-Räume gestalten Margit Franz

Gra

59.00 €

Jugendhilfeforschung Wassilios Baros

Miękka

49.99 €

Neuen Beteiligungs- Und Anlagemoeglichkeiten Fur Versicherungsunternehmen Nach Dem Novellierten 54a Versicherungsaufsichtsgesetz Lutz R Becker

Miękka

49.95 €

Histoire de l'Abbaye Royale de Saint-Pierre de Jumieges. Tome 2 Mabillon-J

Miękka

20.29 €

My Animal Book in Tigrigna Weledo Publications

Miękka

16.19 €

Pablo Picasso Eugenio d' Ors

Miękka

12.49 €

Reflexions Sur L'Economie Politique (1773) Pietro Verri

Miękka

30.69 €

Personalmarketing 2.0. Chancen und Risiken von Social-Media-Instrumenten im Rekrutierungsprozess Karina Herrmann

Miękka

18.95 €

Collected Works in Ordered Structures and Mathematical Logic Paulo Ribenboim

Twarda

90.79 €

Reedifica los muros Loren Vangalder

Miękka

8.99 €

Dejvid I Dzeko: Bog Mrava (Serbian Latin Edition) David Downie

Miękka

12.39 €

Chinese Butterfly, 2 Audio-CDs Chick Corea

CD Audio

21.09 €

MR AL REVÈS ROGER HARGREAVES

Twarda

3.79 €

Laber - Rynstetten Wolfgang Stammler

Twarda

192.09 €

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.