- 5 Results
Lowest price: € 40.43, highest price: € 57.66, average price: € 46.52
1
Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - Vain, Jüri (Herausgeber); Derrick, John (Herausgeber)
Order
at Achtung-Buecher.de
€ 57.66
Shipment: € 0.001
Order
Provider details
Sponsored link
Vain, Jüri (Herausgeber); Derrick, John (Herausgeber):

Formal Techniques for Networked and Distributed Systems - FORTE 2007 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings - new book

2007, ISBN: 3540731954

2007 Kartoniert / Broschiert Petri-Netz, UML (EDV), Microsoft SharePoint (WebServices, Portal), Web Services (EDV), Betriebssysteme, Software Engineering, Theoretische Informatik, Quali… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
close (x)
2
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - BUCH - Derrick, John
Order
at booklooker.de
€ 40.43
Shipment: € 0.001
Order
Provider details
Sponsored link

BUCH - Derrick, John:

Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Paperback

2020, ISBN: 9783540731955

[PU: Springer], 392 Seiten 23,1 x 16,5 x 2,0 cm, Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek / Sofort verfügbar / daily shipping worldwide with invoice /, DE, [S… More...

Shipping costs:Versandkostenfrei. (EUR 0.00) NEPO UG
close (x)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Order
at Hugendubel.de
€ 53.49
Shipment: € 0.001
Order
Provider details
Sponsored link
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - Paperback

2007

ISBN: 9783540731955

*Formal Techniques for Networked and Distributed Systems - FORTE 2007* - 27th IFIP WG 6. 1 International Conference Tallinn Estonia June 27-29 2007 Proceedings. Auflage 2007 / Taschenbuch… More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
close (x)
4
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Derrick, John
Order
at ZVAB.com
$ 44.11
(aprox. € 40.57)
Shipment: € 26.191
Order
Provider details
Sponsored link
Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Paperback

2007, ISBN: 3540731954

[EAN: 9783540731955], Gebraucht, guter Zustand, [SC: 26.19], [PU: Springer 20.07.2007.], BUCH, 392 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gew… More...

NOT NEW BOOK. Shipping costs: EUR 26.19 NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)]
close (x)
5
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Derrick, John
Order
at Achtung-Buecher.de
€ 40.43
Shipment: € 0.001
Order
Provider details
Sponsored link
Derrick, John:
Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science) - Paperback

2020, ISBN: 3540731954

Auflage: 2007 23,1 x 16,5 x 2,0 cm, Taschenbuch 392 Seiten Taschenbuch ex Library Book / aus einer wissenschafltichen Bibliothek /, [KW:BUCH] 2, [PU:Springer,]

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
close (x)
1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book
Formal Techniques for Networked and Distributed Systems - FORTE 2007
Author:
Title:
ISBN:

9783540731955


This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. The 22 revised full papers presented together with 1 invited talk were carefully reviewed and selected from 67 submissions. The papers focus on service oriented computing and architectures using formalized and verified approaches. In addition to the classical protocol specification and verification problems, the issues of composition of protocol functions and of algorithms for distributed systems are addressed. The papers are organized in topical sections on message sequence charts and SDL, concurrency, model programs, theory, verification, model checking, requirements and QoS, as well as components.

Details of the book - Formal Techniques for Networked and Distributed Systems - FORTE 2007


EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin Heidelberg
375 Pages
Weight: 0,600 kg
Language: eng/Englisch

Book in our database since 2007-10-14T14:23:04+01:00 (London)
Detail page last modified on 2024-04-17T09:20:56+01:00 (London)
ISBN/EAN: 9783540731955

ISBN - alternate spelling:
3-540-73195-4, 978-3-540-73195-5
Alternate spelling and related search-keywords:
Book author: derrick, juri, jüri, vain
Book title: tallinn, distributed systems, forte, estonia 2007, about estonia, derrick, june june, computer techniques for

< to archive...