[email protected]
LIBRISTO 0
ACS 6.49 € DHL courier 9.99 € Speedex 5.99 € Σημείο ACS 6.49 € Elta 3.99 € Σημείο Elta 3.99 € Box Now 3.99 €
phone Επικοινωνία phoneΠώς να κάνετε αγορές;

Software Engineering and Formal Methods

Γλώσσα ΑγγλικήΑγγλική
Βιβλίο Χαρτόδετη βιβλιοδεσία
Βιβλίο Software Engineering and Formal Methods Robert Hierons
Κωδικός Libristo: 02016931
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Σεπτέμβριος 2013
This book constitutes the refereed proceedings of the11th International Conference on Software Engin... Πλήρης περιγραφή
? points 161 b
64.16 €
Εξωτερικός αποθηκευτικός χώρος σε μικρές ποσότητες Αποστέλλουμε σε 13-16 ημέρες

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

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

Zimbabwe in Pictures Keith Hern / Χαρτόδετη βιβλιοδεσία
common.buy 35.10 €
Necessary Goods Gillian Brock / Χαρτόδετη βιβλιοδεσία
common.buy 72.23 €
Smoker Cookbook in Texas Style: The Art of Smoking Meat with Texas BBQ, Ultimate Smoker Cookbook for Real Pitmasters, Irresistible Barbecue Recipes in Adam Jones / Χαρτόδετη βιβλιοδεσία
common.buy 21.68 €
All-American Boy Larzer Ziff / Σκληρόδετη βιβλιοδεσία
common.buy 22.59 €
Informationen zur Rechtewahrnehmung im Urheberrecht Julius Mittenzwei / Χαρτόδετη βιβλιοδεσία
common.buy 126.31 €
What Works in Corrections Doris Layton MacKenzie / Σκληρόδετη βιβλιοδεσία
common.buy 150.83 €
White House is Burning Jane Sutcliffe / Σκληρόδετη βιβλιοδεσία
common.buy 17.65 €
ΠΡΟΕΤΟΙΜΑΖΟΥΜΕ
Dirty Deeds: Dirty Angels 2 Karina Halle / Χαρτόδετη βιβλιοδεσία
common.buy 10.58 €
Fortune like the Moon Alys Clare / Χαρτόδετη βιβλιοδεσία
common.buy 11.69 €
Le Lai de Lanval Marie de France / Χαρτόδετη βιβλιοδεσία
common.buy 5.94 €
Introduction to Anglo-Saxon. An Anglo-Saxon Reader, With Philological Notes, A Brief Grammar, and A Vocabulary. by Francis A. March ... Francis Andrew March / Χαρτόδετη βιβλιοδεσία
common.buy 24.81 €
Chokher Bali Rabindranath Tagore / Σκληρόδετη βιβλιοδεσία
common.buy 17.95 €
L-Architectes Heinz Wirz / Χαρτόδετη βιβλιοδεσία
common.buy 37.83 €

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.

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

Πλήρες όνομα Software Engineering and Formal Methods
Συγγραφέας Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Γλώσσα Αγγλική
Βιβλιοδεσία Βιβλίο - Χαρτόδετη βιβλιοδεσία
Ημερομηνία έκδοσης 2013
Αριθμός σελίδων 321
EAN 9783642405600
ISBN 3642405606
Κωδικός Libristo 02016931
ΕΕκδοτικός οίκος Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Βάρος 5153
Διαστάσεις 155 x 235 x 19

Κατηγορία

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

Είσοδος

Συνδεθείτε στο λογαριασμό σας Δεν έχετε ακόμη λογαριασμό στο Libristo; Δημιουργήστε τον τώρα!

 
υποχρεωτικό
υποχρεωτικό
Ξεχάσατε τον κωδικό πρόσβασης

Δεν έχετε λογαριασμό; Αποκτήστε τα οφέλη ενός λογαριασμού Libristo!

Με έναν λογαριασμό Libristo, θα έχετε τον απόλυτο έλεγχο.

Δημιουργία λογαριασμού Libristo