[email protected] Θα απαντήσουμε εντός 24 ωρών

[email protected]

ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €

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

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

Βοήθεια

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

▸ Άδειο :-(

Software Engineering and Formal Methods

Name: Software Engineering and Formal Methods
Brand: Springer International Publishing AG
SKU: 12580344
Price: 64.16 EUR
Availability: InStock

Rocco de Nicola

Eva Kühn

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 12580344

ΕΕκδοτικός οίκος Springer International Publishing AG, Ιούνιος 2016

This book constitutes the proceedings of the 14th International Conference on Software Engineering a... Πλήρης περιγραφή

Κωδικός Libristo: 12580344

161 b

64.16 €

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

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

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

The Gothic Image: Religious Art in France in the Thirteenth-Century Emile M[le

/ Χαρτόδετη βιβλιοδεσία

61.94 €

Gesammelte Schriften Uwe H. Schneider

/ Σκληρόδετη βιβλιοδεσία

191.59 €

Roar, Royals & More Hot Singles: Simple Arrangements for Students of All Ages Hal Leonard Publishing Corporation

/ Χαρτόδετη βιβλιοδεσία

11.59 €

Industrial Democracy Vol. II. Beatrice Potter Webb

/ Χαρτόδετη βιβλιοδεσία

35.40 €

This book constitutes the proceedings of the 14th International Conference on Software Engineering and Formal Methods, SEFM 2016, held as part of STAF 2016, in Vienna, Austria, in July 2016.?The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They were organized in topical sections named: concurrency and non-interference; program analysis; model checking; verification; interaction and adaptation; and development methods.?

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

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

Συγγραφέας Rocco de Nicola, Eva Kühn

Γλώσσα

Αγγλική

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

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

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

EAN 9783319415901

ISBN 3319415905

Κωδικός Libristo 12580344

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

Βάρος 6555

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

Κατηγορία

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics

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 > Computer science > Artificial intelligence

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

Είναι εύκολο

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

Παράδοση

Οδηγός αγορών