Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Austrian Post 5.49 € GLS courier 4.99 € DPD courier 4.49 € DPD point 3.49 €
phone Contact phoneHow to shop

Algebraic Foundations of Systems Specification

Language EnglishEnglish
Book Paperback
Book Algebraic Foundations of Systems Specification Egidio Astesiano
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
? points 118 b
48.29 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

Up to 30 days for returns

Customers also purchased

BRUNZEL FUNDAMENTOS DEL ANALISIS DE ORINA Y FLUIDOS CORPORA / Book Book
common.buy 169.49 €
Kasmir - Annoskateus. Stooreja ja reseptejä Erkka Mykkänen / Book Hardback
common.buy 32.59 €
Maîtres des dragons, Tome 12 TRACY WEST / Book Book
common.buy 7.79 €
Guía del lector de diarios José Luis Melero Rivas / Book Paperback
common.buy 14.09 €
Rental Girlfriend 15 Jens Ossa / Book Paperback
common.buy 7.00 €
ABGABENORDNUNG & FGO 2022 Dürckheim-Markierhinweise/Fußgängerpunkte für das Steuerberaterexamen: Dürckheim'sche Markierhinweise Thorsten Glaubitz / Book Paperback
common.buy 15.80 €
Aktuelle Fortschritte bei der Modellierung und Simulation - 2021 Abstract Book Ramanpreet Singh / Book Paperback
common.buy 43.90 €
Le règne de l'Empereur - T3 L'Elfe Gindre / Book Paperback
common.buy 19.29 €
Osteopatia lumbar y pelvis DVD Fajardo Ruiz / Book Paperback
common.buy 18.29 €
Fame Knut Hamsun / Book Paperback
common.buy 9.89 €
Is God Really In Control? [Simplified Chinese Script] Jerry Bridges / Book Paperback
common.buy 9.79 €
YAWARA! Nº 04/20 URASAWA / Book Book
common.buy 27.09 €
Chinaski: 11 Chinaski / Audio Audio CD
common.buy 12.39 €
Den otce Buzz Bissinger / Book Hardback
common.buy 10.29 €
Geschichte der bulgarischen Literatur / Book Hardback
common.buy 40.00 €
Cadernos de Ciencias Penais - Reflexoes sobre as teorias do tipo Alexis Couto de Brito / Book Paperback
common.buy 32.39 €
The Fodmap Navigator - Chinese Edition: Low-Fodmap Diet Charts with Ratings of More Than 500 Foods, Food Additives and Prebiotics. Martin Storr / Book Paperback
common.buy 6.99 €
Klett Mein großer bunter Kindergarten-Block / Book Paperback
common.buy 7.99 €
Demokratien in Europa Ines Katenhusen / Book Paperback
common.buy 54.99 €
Neurobiologia del Amor, Infidelidad y Celos Pedro Montilla López / Book Paperback
common.buy 95.99 €
Táta za všechny prachy David Walliams / Book Paperback
common.buy 10.19 €
Impot Sur Les Mutations, Expose d'Un Systeme d'Impot Frappant Tous Les Emplois de la Richesse DUCLOS-M / Book Paperback
common.buy 12.19 €
LES PPP À TRAVERS LE SPECTRE DE LA NOUVELLE GESTION PUBLIQUE Jessica Amiot / Book Paperback
common.buy 53.89 €
PROFILER JUAN ENRIQUE SOTO CASTRO / Book Paperback
common.buy 26.09 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Algebraic Foundations of Systems Specification
Author Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 616
EAN 9783642641510
ISBN 3642641512
Libristo code 06873556
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 943
Dimensions 155 x 235 x 34

Categories

Computing & Information Technology > Computer science > Mathematical theory of computation > Maths for computer scientists
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Nonlinear Time Series Jiti Gao / Book Paperback
common.buy 93.19 €
Loved (Book #2 in the Vampire Journals) Morgan Rice / Book Paperback
common.buy 9.99 €
Coming soon
Prince Lestat Anne Rice / Book Paperback
common.buy 5.39 €
Avalon Castle Rosemary Craddock / Book Hardback
common.buy 23.79 €
A Doubter's Almanac Ethan Canin / Book Paperback
common.buy 14.69 €
Top
Two Prospectors Sam Shepard / Book Paperback
common.buy 14.99 €
Christ's Voice to London; And the Great Day of God's Wrath DYER / Book Paperback
common.buy 15.39 €
theory of evolution of living things and the application of the principles of evolution to religion George Henslow / Book Paperback
common.buy 18.29 €
"Yes! From Awareness to Love": 13 Affirmations in Haiku jesse sharpe / Book Paperback
common.buy 13.19 €
The country house. By: John Galsworthy John Galsworthy / Book Paperback
common.buy 11.09 €
Two treatises on civil government. By: John Locke, By: Filmer Robert, (Sir) (1588-1653).introduction By: Henry Morley (15 September 1822 - 1894): John John Locke / Book Paperback
common.buy 12.39 €
Defence of Usury; Shewing the Impolicy of the Present Legal Restraints on the Terms of Pecuniary Bargains. To Which is Added, the Discouragements Oppo Jeremy Bentham / Book Hardback
common.buy 29.09 €
First Spanish Dictionary Collins Dictionaries / Book Paperback
common.buy 7.09 €
Actual Causality Joseph Y. Halpern / Book Paperback
common.buy 47.99 €
Top
Jackalope Wives and Other Stories T. Kingfisher / Book Paperback
common.buy 12.19 €
Coming soon
New Oxford Student Texts: More...Love Through the Ages Geddes / Book Paperback
common.buy 16.89 €
Thank You For Coming To My Ted Talk Lorin Oberweger / Book Hardback
common.buy 13.39 €
Basketball Scoring Book: 50 Game Scorebook for Basketball (8.5 x 11) - Scoring by Half Chad Alisa / Book Paperback
common.buy 8.99 €
PostgreSQL for DBA: PostgreSQL 12 Federico Campoli / Book Paperback
common.buy 38.79 €
Poems: Lyric Poems. Sylvia Or, the Last Shepherd. Miscellaneous. Airs from Alpland Thomas Buchanan Read / Book Paperback
common.buy 22.59 €
Second Chance on Cypress Lane Reese Ryan / Book Paperback
common.buy 6.49 €
Greenheart of the Forest Elizabeth Klein / Book Paperback
common.buy 20.09 €
Quantum Mechanics Arjun Berera / Book Hardback
common.buy 71.09 €
Top
Iran Iraq Naval War Volume 2 E. R. Hooton / Book Paperback
common.buy 19.49 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?