Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Formal Methods for Open Object-Based Distributed Systems Martin Steffen

Formal Methods for Open Object-Based Distributed Systems

7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings

Szerző: Martin Steffen, Gianluigi Zavattaro
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten alacsony példányszámban
Küldés 11-15 napon belül
20 440 Ft
This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Fo...

Információk a könyvről

Szerző
Martin Steffen, Gianluigi Zavattaro
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2005
oldal
326
EAN
9783540261810
ISBN
3540261818
Enbook ID
01560735
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
1060
Méretek
155 x 235 x 19

Teljes leírás

This book constitutes the refereed proceedings of the 7th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2005, held in Athens, Greece on June 15-17, 2005. The FMOODS conference was held as a joint event in federation with the 5th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable Systems (DAIS 2005). §The 19 revised full papers presented together with an invited paper were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on models and calculi, UML, security, composition and verification, analysis of java programs, Web services, specification and verification.

Érdekelheti

Nuclear Locally Convex Spaces

Albrecht Pietsch
20 440 Ft

Disorder and Strain-Induced Complexity in Functional Materials

Tomoyuki Kakeshita
61 453 Ft

Returned - They left to wage jihad, now they're back

David Thomson
17 261 Ft

Building a Better World in Your Backyard

Shawn Klassen-Koop
5 363 Ft

Child Labour and School Enrolment

Horst Friedrich Rolly
18 189 Ft

Making Moon: A British Sci-Fi Cult Classic

Simon Ward
11 530 Ft

I'd Fight the World

Peter La Chapelle
24 706 Ft

African Spurred Tortoises as Pets. African Spurred Tortoise Book for Care, Housing, Keeping, Diet and Health.

Daniel Grimson
2 593 Ft

Kings of Mississippi

Barnes
31 028 Ft

Study Guide for Chitra Banerjee Divakaruni's Cutting the Sun

Cengage Learning Gale
4 324 Ft

Multiple Sclerosis and Related Disorders

Robert J. Fox
38 278 Ft

The ACT Deck: 55 Acceptance & Commitment Therapy Practices to Build Connection, Find Focus and Reduce Stress

Timothy Gordon
4 968 Ft

Modern Poker: Why It Is Impractical to Use Pot Odds in Texas Hold'em

Farshad Arasteh
4 213 Ft

Beast

A Zavarelli
5 461 Ft

Ew, People.: 120 Pages I 6x9 I Music Sheet I Funny Cat Mom & Kitty Lover Gifts

Funny Notebooks
3 152 Ft

In His Dreams: The Complete Collection

Mason Lee
2 420 Ft

Green Book On-Line PDFs: A Guide to Federal Government ACH Payments

Financial Management Service
6 140 Ft

Anthropology's Politics

Lara Deeb
9 319 Ft

Deconstructing Courtship: The Dream Seeds

Gerald A Edozien
5 479 Ft

The Conspiracy Trial for the Murder of the President, and the Attempt to Overthrow the Government by the Assassination of Its Principal Officers

Ben Perley Poore
11 263 Ft

Running Around the World: Lessons Learned from Life on the Roads

MR David Bishop
3 476 Ft

Thatcher: The Unauthorized Biography of Blackbeard the Pirate: Chronicle Two: The Duke of Bristol

David W Carroll
7 126 Ft

Dressing the Wound: Give yourself the gift of forgiveness

Vickie Petz Henderson M D
2 659 Ft

Understanding Biochemical Pathways

Carol A. Wilkins
44 640 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Berliner U-Bahn-Linien: U4 - Die Schöneberger U-Bahn

Alexander Seefeldt
1 505 Ft

Dna moczanowa Dieta i jadlospisy dla smakoszy

Marcin Majewski
2 944 Ft

Zivilgesellschaftliches Engagement durch Community Radios

Esther Dorn-Fellermann
16 839 Ft

Der deutsche Kaufmann in den Niederlanden

Rudolf Häpke
11 641 Ft

Rainbow High - Carnet de mode (éd. 2024)

4 857 Ft

Sci fuoripista. Manuale di tecniche di discesa

Alessandro Fattori
5 168 Ft

Asche und Rubin

Monika Taubitz
7 503 Ft

Pan'Pan Panda, une vie en douceur T01

5 265 Ft

Brönners Begräbnis

Reinhard Sturm
4 688 Ft

Joomla 4.0 logisch!

Daniel Schmitz-Buchholz
2 730 Ft

Examen clinique et sémiologie : l'essentiel

Nicholas J TALLEY
17 346 Ft

El tesoro oculto de los templarios

JOSEP GUIJARRO
4 675 Ft

Inteligencia emocional: habilidades emocionales para enfrentarse al desempleo

7 250 Ft

Ravensburger Malen nach Zahlen Wilde Tiere - 32 Motive - 24 Farben - Malbuch mit nummerierten Ausmalfeldern für fortgeschrittene Fans der Reihe

Sebastian Coenen
2 420 Ft

Biológia II.

Dr. Szerényi Gábor
11 426 Ft

El club de las canguro. Julia y los niños imposibles

RAINA TELGEMEIER
9 292 Ft

Dialog - Neue Generation Band 4 - 101 Grammatikübungen

4 493 Ft

Comment j'ai appris la simplicité

Satish Kumar
8 209 Ft