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

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

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Integrated Formal Methods

Name: Integrated Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656785
Price: 51.69 EUR
Availability: InStock
Author: Dominique Méry
ISBN: 9783642162640

8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings

Dominique Méry

Stephan Merz

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01656785

ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Οκτώβριος 2010

This book constitutes the refereed proceedings of the 8th International Conference on Integrated For... Πλήρης περιγραφή

Κωδικός Libristo: 01656785

125 b

51.69 €

Εξωτερικός αποθηκευτικός χώρος Αποστέλλουμε σε 5-8 ημέρες

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

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

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

Indigenes Wohnen und Leben in den nördlichen Savannen Afrikas Gerhard Glombiewski

Χαρτόδετο

17.90 €

In Wirklichkeit Ist Das Weib Dem Mann UEberlegen Adler Wissa

Χαρτόδετο

36.21 €

Het oog der liefde Kent

MP3

7.17 €

A la orilla de la ziranda: Narrativa Ernesto Adair Zepeda Villarreal

Χαρτόδετο

8.99 €

Vingt-Quatre Nouvelles Genevoises, Volume 2 M Ril Catalan

Χαρτόδετο

22.05 €

Petite Terreur ou souffre-douleur Stéphane Bourcet

Χαρτόδετο

28.42 €

Manejo de maquinaria de corte de bloques de piedra Encarnación López Béjar

Χαρτόδετο

23.87 €

Potencial de Croacia como destino turístico para el mercado ruso

Χαρτόδετο

35.71 €

Vežovníček Marta Hlušíková; Alena Wagnerová

Σκληρόδετο

7.38 €

Jakobsweg ist uberall Olaf Behrens

Χαρτόδετο

14.76 €

Die fabelhafte Welt der Libellen (Tischaufsteller DIN A5 quer) Heike Hultsch

Χαρτόδετο

16.89 €

Die Langschwanzeidechsen der Gattung Takydromus Uwe Schlüter

Χαρτόδετο

15.17 €

Oberwallis Roland Nanzer

Σκληρόδετο

34.59 €

Einleitung in Die Psychologie Nach Kritischer Methode Paul Natorp

Χαρτόδετο

17.90 €

Einheitliche europaische Akte und europaischer Binnenmarkt Jan Pfitzner

Χαρτόδετο

16.18 €

Grundkurs Statistik Fur Politologen Und Soziologen Uwe W. Gehring

Χαρτόδετο

51.89 €

Schumann-Handbuch Ulrich Tadday

Σκληρόδετο

31.96 €

Die Strafgewalt der Kirche. Wilhelm Rees

Χαρτόδετο

94.09 €

Grandes Personajes de la Historia - Biografias noveladas Consuelo Jimenez De Cisneros

Χαρτόδετο

14.66 €

Projekt da Vinci - Hledání pravdy DVD + CD (ČJ, AJ, NJ, ŠJ, FJ)

Video

7.17 €

This book constitutes the refereed proceedings of the 8th International Conference on Integrated Formal Methods, IFM 2010, held in Nancy, France, in October 2010. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 59 submissions. The papers address the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, refinement, verification and model transformations to type systems, logics, tools and case studies.

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

EWA KASP για

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

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

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

Πλήρες όνομα Integrated Formal Methods

Συγγραφέας Dominique Méry, Stephan Merz

Γλώσσα

Αγγλική

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

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

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

EAN 9783642162640

ISBN 3642162649

Κωδικός Libristo 01656785

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

Βάρος 528

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

Κατηγορία

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

Computing & Information Technology > Operating systems

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

Είναι εύκολο

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