Έλεγχος κατάστασης παραγγελίας

Γίνετε μέλος μιας κοινότητας βιβλιόφιλων από όλο τον κόσμο και επωφεληθείτε από πολλά προνόμια. Δημιουργία δωρεάν λογαριασμού

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

Επικοινωνία phone

Πώς να κάνετε αγορές;

Βοήθεια

Ο λογαριασμός μου

▸ Άδειο :-(

Formal Techniques for Distributed Systems

Name: Formal Techniques for Distributed Systems
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01661349
Price: 51.55 EUR
Availability: InStock
Author: Holger Giese
ISBN: 9783642307928

Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings

Holger Giese

Grigore Rosu

Γλώσσα

Αγγλική

Βιβλίο Χαρτόδετο

Κωδικός Libristo: 01661349

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Μάιος 2012

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on F... Πλήρης περιγραφή

Κωδικός Libristo: 01661349

125 b

51.55 €

Σε εξωτερική αποθήκη Αποστέλλουμε σε 5-8 ημέρες

Παράδοση στην Ελλάδα

Έως 30 ημέρες για επιστροφή

Οι πελάτες αγόρασαν επίσης

S přáteli i v archivech - Sborník k sedmdesátinám historika Jindřicha Marka Prokop Tomek

Σκληρόδετο

12.81 €

La vie est un songe Calderón de la Barca

Χαρτόδετο

7.86 €

GEOLOGIA Y CIENCIAS AMBIENTALES 2. CLEMENTE ROCA

Χαρτόδετο

54.98 €

Diagnose und verschiedene Behandlungsprotokolle bei Zahnimplantaten Sumit Kaushal

Χαρτόδετο

63.86 €

Disi Kurtlar Thomas Narcejac

Χαρτόδετο

12.10 €

Сила мысли. Сборник устных комментариев Мастера к наставлениям Свами Шивананды Свами Вишнудэвананда

Χαρτόδετο

8.87 €

JOHANNES KEPLER MAX CASPAR

Χαρτόδετο

24.11 €

Estudio de Factibilidad de Un Food Truck en la Ciudad de Manizales Juan Felipe Rendon Duque

Χαρτόδετο

48.83 €

Esperanza. La Autobiografía: Memorias del Papa Francisco / Hope

Χαρτόδετο

16.64 €

Les vingt tournages qui ont changé le cinéma Olivier Rajchman

Χαρτόδετο

30.97 €

Die Krankenschwester, Großdruck Valerie Nilon

Χαρτόδετο

11.80 €

Beletrie pro děti Josef Čapek

Σκληρόδετο

16.34 €

Zdravě jíme, nevaříme Judita Hofhanzlová

Χαρτόδετο

8.57 €

Medizinische Informatik und Bioinformatik Martin Dugas

Χαρτόδετο

33.09 €

iusta causa traditionis oder das Abstraktionsprinzip im roemischen Recht Erwin Kunze

Χαρτόδετο

16.14 €

Frauenideale in der Liteartur des 18. Jahrhunderts. Sandra Faust

Χαρτόδετο

16.14 €

Wege suchen - Grenzen erfahren Hartmut Diegel

Χαρτόδετο

13.51 €

Flore Medicale, Volume 1... Franc Ois Pierre Chaumeton

Χαρτόδετο

30.56 €

Neue katalytische Funktionalisierungen ungesattigter Fettsauren Dominik M. Ohlmann

Χαρτόδετο

79.81 €

Femme Et La Democratie de Nos Temps Allart De Meritens-H

Χαρτόδετο

17.65 €

Música en imágenes Ezquerro Esteban

Χαρτόδετο

36.62 €

Medicina general. Diagnóstico en oncología Alejandra Guerrero Álvarez

Χαρτόδετο

96.26 €

Sirotčinec slečny Peregrinové pro podivné děti Ransom Riggs

Σκληρόδετο

16.14 €

FRE-ASTRONOMIE TOME 1 Joseph Jerome Le Francais De Lalande

Χαρτόδετο

10.48 €

This book constitutes the refereed proceedings of the 14th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2012, and the 32nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2012, held in Stockholm, Sweden, in June 2012, as one of the DisCoTec 2012 events. The 16 revised full papers presented were carefully reviewed and selected from 42 submissions. They cover a wide range of topics combining theory and practice in application areas of telecommunication services, Internet, embedded and real-time systems, networking and communication security and reliability, sensor networks, service-oriented architecture, and Web services.

Ηθοποιός & Πολύγλωσση

EWA KASP για

Αναπαραγωγή βίντεο

το Libristo διαθέτει τη μεγαλύτερη επιλογή ξενόγλωσσων βιβλίων. Γι' αυτό αγοράζω τα βιβλία μου εδώ.

Πληροφορίες για το βιβλίο

Πλήρες όνομα Formal Techniques for Distributed Systems

Συγγραφέας Holger Giese, Grigore Rosu

Γλώσσα

Αγγλική

Βιβλιοδεσία Βιβλίο - Χαρτόδετο

Ημερομηνία έκδοσης 2012

Αριθμός σελίδων 269

EAN 9783642307928

ISBN 3642307922

Κωδικός Libristo 01661349

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Βάρος 435

Διαστάσεις 155 x 235 x 16

Κατηγορία

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic

Computing & Information Technology > Computer hardware > Network hardware

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

Χαρίστε αυτό το βιβλίο σήμερα

Είναι εύκολο

1 Προσθέστε το βιβλίο στο καλάθι σας και επιλέξτε παράδοση ως δώρο 2 Ως ανταμοιβή θα σας στείλουμε ένα κουπόνι 3 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη