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

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

Δωρεάν αποστολή με 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 International Publishing AG
SKU: 05147795
Price: 51.75 EUR
Availability: InStock
Author: Elvira Albert
ISBN: 9783319101804

11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings

Elvira Albert

Emil Sekerinski

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 05147795

ΕΕκδοτικός οίκος Springer International Publishing AG, Αύγουστος 2014

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

Κωδικός Libristo: 05147795

125 b

51.75 €

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

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

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

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

Surrender to the Fantasy Magik Markers

Audio CD

22.07 €

A2 Key for schools Trainer 2

Χαρτόδετο

44.55 €

Storm Child Fountain

Χαρτόδετο

9.71 €

Гендер, культура и фукусимская катастрофа

Σκληρόδετο

23.49 €

Studio dell'altezza facciale inferiore Mustapha Amad Neto

Χαρτόδετο

21.46 €

Boy's Abyss 11 Nana Umino

Χαρτόδετο

7.38 €

Mia Moglie mi Tradisce Lara Steele

Σκληρόδετο

22.47 €

Recueil De Contes Populaires Grecs Anonymous

Σκληρόδετο

36.25 €

Perfektionismus im Schulkontext

Χαρτόδετο

16.20 €

Die italienische Plastik Wilhelm Bode

Σκληρόδετο

109.38 €

Jetzt sag ich's Waltraut Haas

Adobe ePub DRM

19.94 €

Dopamin Rowena Kong

Χαρτόδετο

35.74 €

POR TIERRAS DE SALAMANCA GRANDE DEL BRIO

Σκληρόδετο

29.46 €

Tajemství stříbrné klisny Julie Wald

Σκληρόδετο

9.21 €

Le Triomphe de la méthode Fauchere

Σκληρόδετο

12.75 €

Ange Pitou - Tome II: (Les Mémoires d'un médecin) Dumas Alexandre

Χαρτόδετο

16.40 €

The Grey - Unter Wölfen, 1 Blu-ray Roger Barton

Blu-ray

13.36 €

Missa Sancti Amandi, Partitur Joseph Haydn

Νότες

43.54 €

Historia de la Vida del Buscon Llamado Don Pablos: Ejemplo de Vagamundos Y Espejo de Taca Francisco de Quevedo

Χαρτόδετο

13.66 €

This book constitutes the refereed proceedings of the 11th International Conference on Integrated Formal Methods, IFM 2014, held in Bertinoro, Italy, in September 2014. The 21 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 43 submissions. The papers have been organized in the following topical sections: tool integration; model verification; program development; security analysis; analysis and transformation; and concurrency and control.

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

EWA KASP για

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

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

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

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

Συγγραφέας Elvira Albert, Emil Sekerinski

Γλώσσα

Αγγλική

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

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

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

EAN 9783319101804

ISBN 3319101803

Κωδικός Libristo 05147795

ΕΕκδοτικός οίκος Springer International Publishing AG

Βάρος 6088

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

Κατηγορία

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 Το βιβλίο θα φτάσει στη διεύθυνση του παραλήπτη