Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare

Algebraic Foundations of Systems Specification

Lingua IngleseInglese
Libro In brossura
Libro Algebraic Foundations of Systems Specification Egidio Astesiano
Codice Libristo: 06873556
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ottobre 2011
This IFIP report is a collection of fundamental, high-quality contributions on the algebraic foundat... Descrizione completa
? points 125 b
51.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

YAWARA! Nº 04/20 URASAWA / Libro Libro
common.buy 25.89 €
INVETTIVE ED INVOCAZIONI SUL DIES IRAE ROMAN VLAD Libro binding.
common.buy 254.59 €
Geschichte der bulgarischen Literatur / Libro Rigido
common.buy 37.39 €
Den otce Buzz Bissinger / Libro Rigido
common.buy 9.59 €
Chinaski: 11 Chinaski / Audio CD audio
common.buy 11.69 €
100 mirades a la colòlecció Vélez Vicente / Libro In brossura
common.buy 19.59 €
Kasmir - Annoskateus. Stooreja ja reseptejä Erkka Mykkänen / Libro Rigido
common.buy 30.79 €
Maîtres des dragons, Tome 12 TRACY WEST / Libro Libro
common.buy 8.09 €
Rental Girlfriend 15 Jens Ossa / Libro In brossura
common.buy 6.19 €
ABGABENORDNUNG & FGO 2022 Dürckheim-Markierhinweise/Fußgängerpunkte für das Steuerberaterexamen: Dürckheim'sche Markierhinweise Thorsten Glaubitz / Libro In brossura
common.buy 14.99 €
Fame Knut Hamsun / Libro In brossura
common.buy 9.50 €
Aktuelle Fortschritte bei der Modellierung und Simulation - 2021 Abstract Book Ramanpreet Singh / Libro In brossura
common.buy 38.79 €
Le règne de l'Empereur - T3 L'Elfe Gindre / Libro In brossura
common.buy 18.99 €
BRUNZEL FUNDAMENTOS DEL ANALISIS DE ORINA Y FLUIDOS CORPORA / Libro Libro
common.buy 169.49 €
Neurobiologia del Amor, Infidelidad y Celos Pedro Montilla López / Libro In brossura
common.buy 25.69 €
Is God Really In Control? [Simplified Chinese Script] Jerry Bridges / Libro In brossura
common.buy 9.09 €
Guía del lector de diarios José Luis Melero Rivas / Libro In brossura
common.buy 14.09 €
Osteopatia lumbar y pelvis DVD Fajardo Ruiz / Libro In brossura
common.buy 18.29 €
Réévaluation de l'optimalité de la politique monétaire de la BCEAO Cédric Ekra / Libro In brossura
common.buy 43.99 €
In preparazione
Scott, L: Tote ruhen nicht / Libro In brossura
common.buy 8.19 €
Intelligenza e pregiudizio. Contro i fondamenti scientifici del razzismo Stephen J. Gould / Libro In brossura
common.buy 42.89 €
Cadernos de Ciencias Penais - Reflexoes sobre as teorias do tipo Alexis Couto de Brito / Libro In brossura
common.buy 34.39 €
L'enseignement de Las Vegas Scott Brown / Libro In brossura
common.buy 34.49 €
Alla ricerca della via piu breve Peter Gritzmann / Libro In brossura
common.buy 24.69 €

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.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Algebraic Foundations of Systems Specification
Autore Egidio Astesiano, Hans-Jörg Kreowski, Bernd Krieg-Brückner
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 616
EAN 9783642641510
ISBN 3642641512
Codice Libristo 06873556
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 943
Dimensioni 155 x 235 x 34

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione > Matematica per informatici
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Nonlinear Time Series Jiti Gao / Libro In brossura
common.buy 88.29 €
Loved (Book #2 in the Vampire Journals) Morgan Rice / Libro In brossura
common.buy 9.99 €
In preparazione
Prince Lestat Anne Rice / Libro In brossura
common.buy 6.39 €
Avalon Castle Rosemary Craddock / Libro Rigido
common.buy 27.59 €
A Doubter's Almanac Ethan Canin / Libro In brossura
common.buy 18.79 €
Two Prospectors Sam Shepard / Libro In brossura
common.buy 13.99 €
Christ's Voice to London; And the Great Day of God's Wrath DYER / Libro In brossura
common.buy 14.69 €
theory of evolution of living things and the application of the principles of evolution to religion George Henslow / Libro In brossura
common.buy 19.49 €
"Yes! From Awareness to Love": 13 Affirmations in Haiku jesse sharpe / Libro In brossura
common.buy 12.49 €
The country house. By: John Galsworthy John Galsworthy / Libro In brossura
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 / Libro In brossura
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 / Libro Rigido
common.buy 27.49 €
First Spanish Dictionary Collins Dictionaries / Libro In brossura
common.buy 6.59 €
Actual Causality Joseph Y. Halpern / Libro In brossura
common.buy 49.29 €
Jackalope Wives and Other Stories T. Kingfisher / Libro In brossura
common.buy 11.49 €
In preparazione
New Oxford Student Texts: More...Love Through the Ages Geddes / Libro In brossura
common.buy 16.89 €
Thank You For Coming To My Ted Talk Lorin Oberweger / Libro Rigido
common.buy 12.29 €
Basketball Scoring Book: 50 Game Scorebook for Basketball (8.5 x 11) - Scoring by Half Chad Alisa / Libro In brossura
common.buy 8.99 €
PostgreSQL for DBA: PostgreSQL 12 Federico Campoli / Libro In brossura
common.buy 38.79 €
Poems: Lyric Poems. Sylvia Or, the Last Shepherd. Miscellaneous. Airs from Alpland Thomas Buchanan Read / Libro In brossura
common.buy 29.49 €
Second Chance on Cypress Lane Reese Ryan / Libro In brossura
common.buy 6.09 €
Greenheart of the Forest Elizabeth Klein / Libro In brossura
common.buy 20.09 €
Quantum Mechanics Arjun Berera / Libro Rigido
common.buy 67.39 €
Iran Iraq Naval War Volume 2 E. R. Hooton / Libro In brossura
common.buy 18.09 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?