Αγαπητοί μας πελάτες, θα θέλαμε να σας ενημερώσουμε ότι η τηλεφωνική υποστήριξη δεν είναι διαθέσιμη σήμερα. Θα εξετάσουμε τα αιτήματά σας την επόμενη εργάσιμη ημέρα. Σας ευχαριστούμε για την κατανόησή σας.

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

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

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

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

Βοήθεια

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

▸ Άδειο :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer, Berlin
SKU: 01567397
Price: 114.62 EUR
Availability: InStock
Author: Teodor Rus
ISBN: 9783540675303

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Teodor Rus

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01567397

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

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

Κωδικός Libristo: 01567397

277 b

114.62 €

Σε εξωτερική αποθήκη σε μικρές ποσότητες Αποστέλλουμε σε 13-18 ημέρες

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

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

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

Le Tréportais Gilbert Testelin-Un policier en résistance Charon

Χαρτόδετο

24.90 €

Kai Martin Ritterbach

Χαρτόδετο

27.94 €

Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P

Χαρτόδετο

7.58 €

Společenská hra Pohádkový soubor 9 her

Επιτραπέζιο παιχνίδι

23.18 €

Akupresura Jiří Marek

Βιβλίο

9.00 €

8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Έντυπα

Νότες

26.52 €

Derrière les portes bleues - roman Giliberti Βιβλίο

Χαρτόδετο

18.72 €

Das große Buch der russischen Küche A. A. Samojlow

Σκληρόδετο

33.51 €

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

Χαρτόδετο

67.63 €

20 lustige Geschichten Klaus-Dieter Baudach

Χαρτόδετο

13.05 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.

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

EWA KASP για

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

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

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

Πλήρες όνομα Algebraic Methodology and Software Technology

Συγγραφέας Teodor Rus

Γλώσσα

Αγγλική

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

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

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

EAN 9783540675303

ISBN 3540675302

Κωδικός Libristo 01567397

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

Βάρος 780

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

Κατηγορία

Mathematics & Science > Mathematics > Algebra

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

Computing & Information Technology > Computer programming / software engineering > Software Engineering

Computing & Information Technology > Computer security > Data encryption

Computing & Information Technology > Computer science > Mathematical theory of computation

Computing & Information Technology > Computer science > Computer architecture & logic design

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

Είναι εύκολο

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