Zdjęcia Springer-verlag berlin and heidelberg gmbh & co. kg Formal methods for open object-based distributed systems
Pełny opis produktu
This book constitutes the refereed proceedings of the 8th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2006, held in Bologna, Italy, June 2006. The book presents 16 revised full papers together with an invited paper and abstracts of 2 invited talks. Coverage includes component- and model-based design, service-oriented computing, software quality, modeling languages implementation, formal specification, verification, validation, testing, and service-oriented systems.
Parametry
ISBN
9783540348931
Oprawa
Miękka
Ilość stron
276
Rok wydania
2006
Kategoria
Literatura obcojęzyczna
Producent
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Opinia użytkowników
-
Opinie oraz Recenzje
Agnieszka I.
28.05.2024
Nadesłana przez Ciebie opinia produktu Springer-Verlag Berlin and Heidelberg GmbH & Co. KG pomoże innym użytkownikom
Jeśli tylko korzystać z oferowanego Springer-verlag berlin and heidelberg gmbh & co. kg Formal methods for open object-based distributed systems podeślij swoją opinię. Wskaż jakie są Twoje wrażenia ze stosowania, czy nie żałujesz zakupu oraz czy relacja cena / jakość jest dla Ciebie satysfakcjonująca.
Dodaj opinię lub recenzję
Powiązane
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Concurrent programming: algorithms, principles, and foundations Springer-verlag berlin and heidelberg gmbh & co. kg
365,78 zł
This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing...
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Springer-verlag berlin and heidelberg gmbh & co. kg Elektrische maschinen und antriebe
202,32 zł
Diese Aufgabensammlung begleitet das Lehrbuch "Elektrische Maschinen und Antriebe" desselben Autors. Es führt von den Grundlagen bis zu...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Atlas of Upper Gastrointestinal and Hepato-Pancreato-Biliary Surgery
1 979,99 zł
The first edition of this book was judged by many to be the best available atlas of upper gastrointestinal and hepato-pancreato-biliary...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
With this book, Christopher Kormanyos delivers a highly practical guide to programming real-time embedded microcontroller systems in C++....
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Overhead power lines Springer-verlag berlin and heidelberg gmbh & co. kg
1 540,39 zł
The only book containing a complete treatment on the construction of electric power lines. Reflecting the changing economic and technical...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Springer-verlag berlin and heidelberg gmbh & co. kg Wood - the internal optimization of trees
825,57 zł
Mit mehr als 100 schönen wie amüsanten Zeichnungen und viel didaktischem Geschick zeigen die Autoren, daß die Innenarchitektur der Bäume...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
50 jahre ingenieur-arbeit in oberschlesien Springer-verlag berlin and heidelberg gmbh & co. kg
340,14 zł
Die vorliegende Arbeit tiber die oberschlesische Industrie ist mit Hilfe der in der Industrie tatigen Mitglieder des Oberschlesischen Bezirks...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Springer-verlag berlin and heidelberg gmbh & co. kg Aesthetic surgery of the breast
756,00 zł
This book covers all aspects of aesthetic breast surgery in an instructive, step-by-step format. The descriptions of procedures are completely...
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Gottfried wilhelm leibniz Springer-verlag berlin and heidelberg gmbh & co. kg
187,18 zł
Originaltext mit ausführlichen mathematischen sowie historischen Kommentaren von Eberhard Knobloch und aktualisierter Übersetzung von Otto...
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Triebwerke schnellaufender verbrennungsmotoren Springer-verlag berlin and heidelberg gmbh & co. kg
314,90 zł
Auf kaum einem anderen Gebiet des Maschinenbaus zeichnet sich eine so konse quente Weiterentwicklung ab, me bei den schnellaufenden Kolbenkraftmaschinen,...
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Do sklepu Szczegóły
Springer-verlag berlin and heidelberg gmbh & co. kg Mathematische begriffe in beispielen und bildern
202,32 zł
Dieses Buch ist ein wichtiges studienbegleitendes Hilfsmittel f r alle, die Mathematik-Lehrveranstaltungen besuchen. Die Lekt re dieses...
Rekomendacja
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG 
Renal sonography forms a basic part of routine diagnostic strategy. This textbook summarizes eighteen years of experience in diagnostic...
Wybrane dla Ciebie
Rekomendacja 
Do sklepu Szczegóły
Future press verlag und marketing gmbh Elden ring official strategy guide, vol. 1
241,59 zł
This first volume of Future Press’ Elden Ring Books of Knowledge contains a complete record of The Lands Between. Overworld, dungeons and...
Rekomendacja 
Do sklepu Szczegóły
Lego star wars visual dictionary (library edition): without minifigure Dk pub
141,24 zł
100 przepisów dla milionów ludzi cierpiących z powodu nadwrażliwości na gluten i produkty mleczne.Kiedy trzeba przejść na dietę bezglutenową...
Ta księga jest gigantyczna, jest znaczna, jest ogromna i – co najważniejsze – zdradza nie byle jaką tajemnicę: jak rysować zabawne, zagadkowe,...
Miłość, namiętność, tajemnica i pożądanie! Poznajcie Violet!Violet Nicholls nie jest szczęśliwa w małżeństwie. I nie chodzi już tylko o...
One day you will open this book and plunge into the world of bright adventures, full of the breath of the warm wind and the smiles of friends....
Dulcie Ballantyne wie nadzwyczajnie, iż warsztaty kreatywnego pisania przyciągają z reguły nad wyraz oryginalnych ludzi, jest więc prawidłowo...
Rekomendacja 
Daniel Podgórski stara się ułożyć życie od nowa. Otwiera małą firmę agroturystyczną i oczekuje pierwszych gości. Ci przyjeżdżają z nieprzewidzianą...
Rekomendacja 
Do sklepu Szczegóły
Modern Witch's Black Grimoire - Spells, Invocations, Amulets and Divinations for Witches and Wizards
76,22 zł
Zana Muhsen, born and bred in Birmingham, is of Yemeni origin. When her father told her she was to spend a holiday with relatives in North...
Rekomendacja 
Última entrega de la fascinante saga de los «Hathaways».Aunque haasistido a varios actos sociales en Londres y posee una bellezaclásica...
Rekomendacja 
Do sklepu Szczegóły
Aksjomat English for kids with spot the dog. język angielski dla malucha z naklejkami. 3–4 lata
14,63 zł
„English for Kids with Spot the Dog" to wariant pierwszego elementarza do nauki języka angielskiego dla maluchów. Do wspólnej zabawy i nauki...
