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

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

Δωρεάν αποστολή με 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, Berlin
SKU: 01558768
Price: 102.99 EUR
Availability: InStock
Author: Jin Song Dong
ISBN: 9783540204619

5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

Jin Song Dong

Jim Woodcock

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01558768

ΕΕκδοτικός οίκος Springer, Berlin, Νοέμβριος 2002

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

Κωδικός Libristo: 01558768

249 b

102.99 €

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

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

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

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

Un Regalo para el Alma 3 Jose Maria Ventura

Χαρτόδετο

15.57 €

La sala de lo penal MUNILLA PETREÑAS

Χαρτόδετο

13.75 €

Soleil d'or CLERGEOT-L

Χαρτόδετο

27.41 €

Diccionario de jugadores del Real Madrid ENRIQUE MARCOS

Χαρτόδετο

28.93 €

Juwelen aus El Moryas Schatzhaus El Morya

Χαρτόδετο

14.86 €

Wittgenstein et la question du livre Guest

Χαρτόδετο

31.46 €

Mini livre à gratter - Dinosaures Duddek

Χαρτόδετο

12.54 €

Aria - Tome 40 - Carnet de voyage Weyland Michel

Σκληρόδετο

20.02 €

Wise Man's Grandchild 12 Shunsuke Ogata

Χαρτόδετο

6.57 €

Lehrergesundheit. Anleitung zur Selbst- und Fremdfürsorge Viviane Scherenberg

Χαρτόδετο

7.17 €

Jméno-objev a zmizení věci Antonín Mokrejš

Χαρτόδετο

9.91 €

This book constitutes the refereed proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003, held in Singapore in November 2003.§The 34 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 91 submissions. The papers are organized in topical sections on testing and validation, state diagrams, PVS/HOL, refinement, hybrid systems, Z/Object-Z, Petri nets, timed automata, system modelling and checking, and semantics and synthesis.

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

EWA KASP για

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

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

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

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

Συγγραφέας Jin Song Dong, Jim Woodcock

Γλώσσα

Αγγλική

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

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

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

EAN 9783540204619

ISBN 354020461X

Κωδικός Libristo 01558768

ΕΕκδοτικός οίκος Springer, Berlin

Βάρος 966

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

Κατηγορία

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