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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer International Publishing AG
SKU: 09535572
Price: 51.63 EUR
Availability: InStock
Author: Michael Butler
ISBN: 9783319254227

17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015, Proceedings

Michael Butler

Sylvain Conchon

Fatiha Za?di

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 09535572

ΕΕκδοτικός οίκος Springer International Publishing AG, Νοέμβριος 2015

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engine... Πλήρης περιγραφή

Κωδικός Libristo: 09535572

125 b

51.63 €

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

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

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

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

LA NATURE EN LANGUEDOC-ROUSSILLON LEGENDRE

Βιβλίο

16.06 €

Histoire Du Plebiscite: Le Plebiscite Dans L'Antiquite (1887) Charles Borgeaud

Χαρτόδετο

22.63 €

Max von Schenkendorf E. Heinrich

Χαρτόδετο

31.22 €

Druhá derivace touhy Na prahu digitální teologie Tomáš Sedláček

Σκληρόδετο

13.33 €

Speculum Saxonum Ius municipale

Σκληρόδετο

6.15 €

Peche a la lune (La) DUBOIS

Χαρτόδετο

9.08 €

Historia del convento de Ntra.Sra.del Rosario de Oviedo TABOADA

Χαρτόδετο

43.24 €

Jak přemýšlí náš teenager? Tanith Careyová

Χαρτόδετο

17.88 €

Ich und du 5 podręcznik +CD /2012 Marta Kozubska Βιβλίο

Χαρτόδετο

10.10 €

Appuntamento a Positano Goliarda Sapienza

Χαρτόδετο

14.64 €

Don Chisciotte in Sicilia Roberto Mandracchia

Χαρτόδετο

18.38 €

Hunger auf Leben Brigitte Reimann

Χαρτόδετο

7.37 €

Entstehung und Entwicklung des nationalsozialistischen Denkens in OEsterreich. Eine Analyse von Martin Pollacks "Der Tote im Bunker. Bericht uber mein Kacper Piontkowski

Χαρτόδετο

22.42 €

Espiritualidad Islamica en Venezuela Nadya Ramdjan

Χαρτόδετο

87.10 €

Auf dass wir klug werden Anja Zimmer

Χαρτόδετο

16.26 €

Biotechs A Schneider

Χαρτόδετο

12.62 €

Die Geschichte des Gil Blas von Santillana Alain René Le Sage

Χαρτόδετο

31.22 €

Essai Philosophique Sur Le Corps Humain: Pour Servir de Suite A La Philosophie de la Nature. V2 Jean Baptiste Claude Delisle De Sales

Χαρτόδετο

30.51 €

de l'Utilite Des Colonies Pour La France Et Du Systeme Des Douanes Applique Aux Denrees Coloniales Ambert-J

Χαρτόδετο

15.25 €

Les Femmes Du Nouveau Monde (Nouv. Ed.) Eyma-X

Χαρτόδετο

26.36 €

TAMPOCO ABRAS ESTE LIBRO JAMáS ANDY LEE

Σκληρόδετο

18.89 €

De ejercicios con sor Isabél de Meester

Χαρτόδετο

13.94 €

Cacographie Rangee Dans Un Nouvel Ordre, Ou Exercices Sur l'Orthographe Lequien-E-A

Χαρτόδετο

19.29 €

Herzvibrieren Josie Kju

Χαρτόδετο

11.81 €

This book constitutes the refereed proceedings of the 17th International§Conference on Formal Engineering Methods, ICFEM 2015, held in Paris,§France, in November 2015. The 27 revised full papers presented were§carefully reviewed and selected from 82 submissions. The papers cover a wide§range of topics in the area of formal methods and software engineering and are§devoted to advancing the state of the art of applying formal methods in§practice. They focus in particular on combinations of conceptual and§methodological aspects with their formal foundation and tool support.

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

EWA KASP για

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

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

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

Πλήρες όνομα Formal Methods and Software Engineering

Συγγραφέας Michael Butler, Sylvain Conchon, Fatiha Za?di

Γλώσσα

Αγγλική

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

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

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

EAN 9783319254227

ISBN 3319254227

Κωδικός Libristo 09535572

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

Βάρος 6964

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

Κατηγορία

Computing & Information Technology > Computer hardware > Network hardware

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures

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

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

Είναι εύκολο

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