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

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

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

Δωρεάν αποστολή με Box Now άνω των 69.99 €

DHL courier 9.99 € Σημείο Elta 3.99 € Elta 4.49 € ACS 4.99 € Box Now 3.99 € Σημείο ACS 3.99 €

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

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

Βοήθεια

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

▸ Άδειο :-(

CASL Reference Manual

Name: CASL Reference Manual
Brand: Springer, Berlin
SKU: 01559194
Price: 102.97 EUR
Availability: InStock
Author: P. D. Mosses
ISBN: 9783540213017

The Complete Documentation of the Common Algebraic Specification Language

P. D. Mosses

Γλώσσα

Αγγλική

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

Κωδικός Libristo: 01559194

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

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common F... Πλήρης περιγραφή

Κωδικός Libristo: 01559194

249 b

102.97 €

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

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

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

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

Nightmare before Christmas Socks Patchwork 38-45 Χαρτικά/γραφική ύλη

Χαρτικά/γραφική ύλη

7.68 €

La Tavola dei Rimedi 5.0 Abdoul Hamid Derra

Χαρτόδετο

75.55 €

La Sorcière qui ratait tout Balme

Βιβλίο

19.31 €

senso della storia. Dal Settecento al Duemila Pietro Rossi

Χαρτόδετο

21.94 €

The Odyssey Of Homer... John Jason Owen

Σκληρόδετο

41.16 €

Conversation avec Michel Serres Serres

Χαρτόδετο

11.83 €

Werkstattgerechte Schadensanalyse in CFK-Strukturbauteilen mit optisch georteter Ultraschallmesstechnik Philipp Nienheysen

Χαρτόδετο

43.79 €

Wirtschaftlichkeitsbewertung verstehen und anwenden Jorn Krimmling

Adobe ePub DRM

65.14 €

Los Delitos previstos en la ley de instituciones de seguros y fianzas Hernández-Romo Valencia

Χαρτόδετο

12.43 €

Der Staat und die Eigentumsrechte Markus Kobler

Σκληρόδετο

114.60 €

Liebe am O(h)r Oliver Geisselhart

Χαρτόδετο

11.12 €

Glanz und Elend der altösterreichischen Bürokratie Wolfgang Fritz

Χαρτόδετο

20.63 €

Mechanica corporum solidorum 2nd part Leonhard Euler

Σκληρόδετο

169.63 €

CASL, the Common Algebraic Specification Language, was designed by the members of CoFI, the Common Framework Initiative for algebraic specification and development, and is a general-purpose language for practical use in software development for specifying both requirements and design. CASL is already regarded as a de facto standard, and various sublanguages and extensions are available for specific tasks.This reference manual presents a detailed documentation of the CASL specification formalism. It reviews the main underlying concepts, and carefully summarizes the intended meaning of each construct of CASL. The book formally defines both the syntax and semantics of CASL, and presents a logic for reasoning about CASL specifications. Furthermore, extensive libraries of CASL specifications of basic data types are provided as well as a comprehensive annotated bibliography of CoFI publications. As a separate, complementary book LNCS 2900 presents a tutorial introduction to CASL, the CASL User Manual.

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

EWA KASP για

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

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

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

Πλήρες όνομα CASL Reference Manual

Συγγραφέας P. D. Mosses

Γλώσσα

Αγγλική

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

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

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

EAN 9783540213017

ISBN 3540213015

Κωδικός Libristo 01559194

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

Βάρος 828

Διαστάσεις 156 x 234 x 28

Κατηγορία

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 > Computer architecture & logic design

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

Είναι εύκολο

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

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

Environmental, Social, Governance (ESG) Nicola Castellano

Σκληρόδετο

151.52 €

Proceedings of 2024 International Conference on Medical Imaging and Computer-Aided Diagnosis (MICAD 2024) Ruidan Su

Σκληρόδετο

226.28 €

Marking the Land William A. Lovis

Σκληρόδετο

245.40 €

Building A Powerful Vision Board: A Path To Achieving Your Goals And What You Want In Life Tess Denton

Χαρτόδετο

9.90 €

The Ashes & the Star-Cursed King BROADBENT CARISSA

Χαρτόδετο

9.70 €

Doctor Who: Rose Russell T Davies

MP3

9.90 €

Plan of Manuel I and the discovery of Brazil

Χαρτόδετο

24.17 €

SOFTWARE SYSTEMS CONSTRUC.EXAMP. SANDEN

Βιβλίο

76.77 €

The Chico Arms Embargo; The French Peace Plan; Insurance Against War; Facing the Future; Isolation Manley O. Hudson

Χαρτόδετο

23.26 €

It's Up to You!: Why Most People Fail to Live the Life they Want and How to Change It Scott Zarcinas

Χαρτόδετο

19.41 €

Egyptian Pyramids Revisited Moustafa Gadalla

Χαρτόδετο

11.32 €

Latter-Day Saint Biographical Encyclopedia. a Compilation of Biographical Sketches of Prominent Men and Women in the Church of Jesus Christ of Latter- ANDREW JENSON

Σκληρόδετο

41.57 €