Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Algebraic Foundations of Systems Specification

Name: Algebraic Foundations of Systems Specification
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 06873556
Price: 51.24 EUR
Availability: InStock
Author: Egidio Astesiano
ISBN: 9783642641510

Egidio Astesiano

Hans-Jörg Kreowski

Bernd Krieg-Brückner

Language

English

Book Paperback

Libristo code: 06873556

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 2011

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundat... Full description

Libristo code: 06873556

125 b

51.24 €

100.22 лв

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Cuentos fantásticos de ayer y hoy

Paperback

9.60 € 18.77 лв

Chinaski: 11 Chinaski

Audio CD

14.78 € 28.91 лв

CRISPR: réécrire l'avenir de l'homme avant la naissance Stacy Valdivia

Paperback

38.97 € 76.22 лв

Guía del lector de diarios José Luis Melero Rivas

Paperback

17.61 € 34.44 лв

Osteopatia lumbar y pelvis DVD Fajardo Ruiz

Paperback

23.21 € 45.39 лв

Den otce Buzz Bissinger

Hardback

11.29 € 22.08 лв

Intelligenza e pregiudizio. Contro i fondamenti scientifici del razzismo Stephen J. Gould

Paperback

40.82 € 79.83 лв

Geschichte der bulgarischen Literatur

Hardback

37.58 € 73.51 лв

Fame Knut Hamsun

Paperback

12.32 € 24.09 лв

PROFILER JUAN ENRIQUE SOTO CASTRO

Paperback

27.78 € 54.32 лв

BRUNZEL FUNDAMENTOS DEL ANALISIS DE ORINA Y FLUIDOS CORPORA

Book

211.87 € 414.38 лв

Aktuelle Fortschritte bei der Modellierung und Simulation - 2021 Abstract Book Ramanpreet Singh

Paperback

41.23 € 80.64 лв

100 mirades a la colòlecció Vélez Vicente

Paperback

24.64 € 48.20 лв

L'enseignement de Las Vegas Scott Brown

Paperback

42.77 € 83.65 лв

Els Rescatadors Màgics 5. I la poció secreta SABRINA CATDOOR

Audio CD

14.22 € 27.81 лв

Rozcieracz do pasteli Koh-I-Noor 9478 w woreczku

binding.

2.72 € 5.31 лв

The Fodmap Navigator - Chinese Edition: Low-Fodmap Diet Charts with Ratings of More Than 500 Foods, Food Additives and Prebiotics. Martin Storr

Paperback

6.88 € 13.45 лв

Klett Mein großer bunter Kindergarten-Block

Paperback

7.75 € 15.16 лв

Is God Really In Control? [Simplified Chinese Script] Jerry Bridges

Paperback

11.55 € 22.59 лв

Táta za všechny prachy David Walliams

Paperback

11.24 € 21.98 лв

Spike el Gato: ?Qué hizo Spike? James Edward

Paperback

12.37 € 24.19 лв

Demokratien in Europa Ines Katenhusen

Paperback

55.56 € 108.66 лв

Cadernos de Ciencias Penais - Reflexoes sobre as teorias do tipo Alexis Couto de Brito

Paperback

137.31 € 268.55 лв

This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundations of system specification. The contributions cover and survey active topics and recent advances, and address such subjects as: the role of formal specification, algebraic preliminaries, partiality, institutions, specification semantics, structuring, refinement, specification languages, term rewriting, deduction and proof systems, object specification, concurrency, and the development process. The authors are well-known experts in the field, and the book is the result of IFIP WG 1.3 in cooperation with Esprit Basic Research WG COMPASS, and provides the foundations of the algebraic specification language CASL designed in the CoFI project. For students, researchers, and system developers.