Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Correio MRW 3.99 € Ponto DPD 3.99 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01655975
Price: 50.94 EUR
Availability: InStock
Author: John Hatcliff
ISBN: 9783642134630

Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings

John Hatcliff

Elena Zucca

Língua

Inglês

Livro Capa mole

Código Libristo: 01655975

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junho 2010

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on F... Descrição completa

Código Libristo: 01655975

123 b

50.94 €

Armazenamento externo Envio em 9-15 dias

Política de devolução de 30 dias

Os clientes também compraram

Cowboy fur die Liebe Martina Gercke

Capa mole

7.99 €

Siegfried. Giganc. Tom 2 wyd. 2025 Lylian

Capa mole

6.17 €

Guide Pratique d'Audit Social de Conformité Emmanuel Beck

Capa mole

35.54 €

Indirekte Sterbehilfe Sophie Roggendorf

Capa mole

32.81 €

BATMAN LA GARGOLA DE GOTHAM 3 GRAMPA

Livro

12.65 €

L'Anneau nuptial ; les aventures d'Arsene Lupin Leblanc

MP3

3.33 €

Mathe.Logo Bayern 8 I - neu Patricia Weixler

Livro de capa dura

27.44 €

Kde bývajú zvieratká? neuvedený autor

Livro concertina

7.48 €

Phonsegmentierte, nichtlineare Zeitskalierung von Sprache Dirk Hopfner

Capa mole

31.49 €

Überblick über die rechtlichen Regelungen im Ausland erbrachter medizinischer Leistungen am Beispiel der Niederlande Julia Bovensiepen

Capa mole

14.27 €

Labutie piesne Pavol Hammel

CD de áudio

10.42 €

Europa und der Stier oder der Brautraub des Zeus Konrad Heldmann

Livro de capa dura

124.87 €

Lieber ein Optimist, der sich mal irrt... Peter Hohl

Livro de capa dura

6.47 €

Grusel, Terror, Videospiel Christoph Hurka

Capa mole

19.03 €

literarische Funktion von Kleidung in den Islendingasoegur und IslendingaTHaettir Anita Sauckel

Livro de capa dura

143.51 €

Beat Kusagi David Sterritt

Capa mole

8.30 €

Der Alpenkönig und der Menschenfeind Ferdinand Raimund

Capa mole

4.95 €

Senilita Italo Svevo

Capa mole

11.23 €

Marketing im Mittelstand Clemens Renker

Livro de capa dura

59.34 €

Tata a jeho syn Arnošt Goldflam

CD de áudio

7.99 €

Jahre des Umbruchs Clemens Vollnhals

Livro de capa dura

95.70 €

Legislatives Unrecht Und Eu-Amtshaftungsanspruch Björn-Peter Säuberlich

Capa mole

76.56 €

Hochzeitsreise Charles de Coster

Livro de capa dura

19.74 €

Detektywistyka Brakoniecki Dariusz

Capa mole

14.98 €

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.