- 5 resultaten
laagste prijs: € 40,43, hoogste prijs: € 57,66, gemiddelde prijs: € 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)
bestellen
bij Achtung-Buecher.de
€ 57,66
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde 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 - nieuw boek

2007, ISBN: 3540731954

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

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
dichtslaan (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
bestellen
bij booklooker.de
€ 40,43
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde 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) - pocketboek

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… Meer...

Verzendingskosten:Versandkostenfrei. (EUR 0.00) NEPO UG
dichtslaan (X)
3
Formal Techniques for Networked and Distributed Systems - FORTE 2007
bestellen
bij Hugendubel.de
€ 53,49
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde link
Formal Techniques for Networked and Distributed Systems - FORTE 2007 - pocketboek

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… Meer...

Verzendingskosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
dichtslaan (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
bestellen
bij ZVAB.com
$ 44,11
(ongeveer € 40,57)
verzending: € 26,191
bestellen
Details aangeboden
Gesponsorde 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) - pocketboek

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… Meer...

NOT NEW BOOK. Verzendingskosten: EUR 26.19 NEPO UG, Rüsselsheim am Main, Germany [51070922] [Rating: 5 (von 5)]
dichtslaan (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
bestellen
bij Achtung-Buecher.de
€ 40,43
verzending: € 0,001
bestellen
Details aangeboden
Gesponsorde 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) - pocketboek

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,]

Verzendingskosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Mosakowski GbR Halim Koulali und Lubosz Mosakowski, 65428 Rüsselsheim am Main
dichtslaan (X)
1Aangezien sommige platformen geen verzendingsvoorwaarden meedelen en deze kunnen afhangen van het land van levering, de aankoopprijs, het gewicht en de grootte van het artikel, een eventueel lidmaatschap van het platform, een rechtstreekse levering door het platform of via een derde aanbieder (Marktplaats), enz., is het mogelijk dat de door euro-boek.nl meegedeelde verzendingskosten niet overeenstemmen met deze van het aanbiedende platform.

Bibliografische gegevens van het best passende boek

Bijzonderheden over het boek
Formal Techniques for Networked and Distributed Systems - FORTE 2007
auteur:
Titel:
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.

Gedetalleerde informatie over het boek. - Formal Techniques for Networked and Distributed Systems - FORTE 2007


EAN (ISBN-13): 9783540731955
ISBN (ISBN-10): 3540731954
Gebonden uitgave
pocket book
Verschijningsjaar: 2007
Uitgever: Springer Berlin Heidelberg
375 Bladzijden
Gewicht: 0,600 kg
Taal: eng/Englisch

Boek bevindt zich in het datenbestand sinds 2007-10-14T15:23:04+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-17T10:20:56+02:00 (Amsterdam)
ISBN/EAN: 9783540731955

ISBN - alternatieve schrijfwijzen:
3-540-73195-4, 978-3-540-73195-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: derrick, juri, jüri, vain
Titel van het boek: tallinn, distributed systems, forte, estonia 2007, about estonia, derrick, june june, computer techniques for

< naar Archief...