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

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

Δωρεάν αποστολή με 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 Methods: Applications and Technology

Name: Formal Methods: Applications and Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01568175
Price: 51.56 EUR
Availability: InStock
Author: Lubos Brim
ISBN: 9783540709510

11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Sel

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01568175

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Φεβρουάριος 2007

This book constitutes the thoroughly refereed joint post-proceedings of the two International Worksh... Πλήρης περιγραφή

Κωδικός Libristo: 01568175

125 b

51.56 €

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

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

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

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

Bourvil Mareska

Χαρτόδετο

23.91 €

Jaké to tenkrát bylo aneb Co se stalo v roce, kdy jste se narodili 1983

Χαρτόδετο

3.32 €

Le Sortilège de Stellata Daniela Raimondi

Χαρτόδετο

25.22 €

Flussschiffbau Wilhelm Teubert

Χαρτόδετο

86.99 €

Beast Quest (Band 21) - Tarax, Klauen der Finsternis Adam Blade

Σκληρόδετο

8.16 €

Zrozeni k chůzi James Earls

Σκληρόδετο

7.56 €

Direkt plus 3B. Podręcznik praca zbiorowa

Χαρτόδετο

11.60 €

Terra magica Ostsee-Kreuzfahrt Christian Prager

Σκληρόδετο

19.57 €

Rozdělení Československa 1989-1992 Jan Rychlík

Σκληρόδετο

23.51 €

Vergleich der grossen Weltreligionen im Hinblick auf das Projekt "Weltethos von Hans Kung Jenny Enssle

Χαρτόδετο

17.05 €

Lieder von Jochen Klepper (1903 - 1942) im Stammteil des Evangelischen Gesangbuchs Vitali Pritzkau

Χαρτόδετο

26.84 €

Der Einarmige, sein Alligator und die sonnigen Seiten des Lebens Ken Pisani

Adobe ePub DRM

11.50 €

¿Puedo mirar tu chupete? Guido van Genechten

Σκληρόδετο

15.63 €

Ontologie und Dialektik Theodor W. Adorno

Χαρτόδετο

22.80 €

Kartographie Florian Dünckmann

Χαρτόδετο

36.53 €

Zápisník s gumičkou A4 210x290 mm africké masky

binding.

9.28 €

Abhandlungen aus der Griechischen Geschichte. Max Duncker

Χαρτόδετο

56.41 €

Plíseň Siri Pettersenová

Σκληρόδετο

12.81 €

Niebla Miguel De Unamuno

Χαρτόδετο

14.62 €

Unsere Erde - Gymnasium Baden-Württemberg - 9./10. Schuljahr Henriette Dieterle

Σκληρόδετο

39.65 €

Dopisy hledajícího probuzení René Daumal

Χαρτόδετο

9.68 €

Al-Andalus : magia y seducción culinarias Inés Eléxpuru Eeckman

Χαρτόδετο

15.43 €

Analyse Morphologique Des Tissus Auto-Construits Spontanes Abdelmalek Arrouf

Χαρτόδετο

72.76 €

Correspondance de Champ Libre T. 1 collegium

Χαρτόδετο

14.83 €

This book constitutes the thoroughly refereed joint post-proceedings of the two International Workshops on Formal Methods for Industrial Critical Systems, FMICS 2006, and on Parallel and Distributed Methods in Verification, PDMC 2006, held in Bonn, Germany in August 2006 in the course of the 17th International Conference on Concurrency Theory, CONCUR 2006.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal Methods: Applications and Technology

Συγγραφέας Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Γλώσσα

Αγγλική

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

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

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

EAN 9783540709510

ISBN 3540709517

Κωδικός Libristo 01568175

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

Βάρος 575

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

Κατηγορία

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems

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 > Systems analysis & design

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

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

Είναι εύκολο

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

Μπορεί να σας ενδιαφέρει

Enterprise Architecture Martin Op't Land

Χαρτόδετο

57.42 €

Energy Levels of Nuclei: A = 5 to A = 257 / Energie-Niveaus der Kerne: A = 5 bis A = 257 F. Ajzenberg-Selove

Σκληρόδετο

1 362.41 €

God Spoken Wisdom to Heal Our Souls Rick Kent

Χαρτόδετο

13.72 €

ASP.NET Core 2.2 MVC, Razor Pages, API, JSON Web Tokens & HttpClient: How to Build a Video Course Website Jonas Fagerberg

Χαρτόδετο

20.28 €

Principles of Protein-Protein Association Harold Erickson

Σκληρόδετο

173.48 €

Wiley-Blackwell Companion to Inter-Religious Dialogue Catherine Cornille

Χαρτόδετο

40.06 €

Modern China Studies: Comtemporary Chinese Visual Culture and Cultural Translation Paul Gladston

Χαρτόδετο

19.37 €

Madison Lexy Timms

Χαρτόδετο

10.79 €

Official History of Australia in the War of 1914-1918 C. E. W. BEAN

Χαρτόδετο

73.77 €

Courts-Martial Amendments to Articles of War. Hearing Before a Special Subcommittee of the Committee on Military Affairs House of Representatives Sixt E H Crowder

Χαρτόδετο

13.41 €