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
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Algebraic Methodology and Software Technology

5th International Conference, AMAST '96, Munich, Germany, July 1996, Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Algebraic Methodology and Software Technology Maurice Nivat
Codice Libristo: 05274595
Casa editrice Springer, Berlin, novembre 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Descrizione completa
? points 263 b
107.29 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

In preparazione
CIA Tim Weiner / Libro In brossura
common.buy 16.99 €
I migliori
Nevera Juliet Rosenfeld / Libro In brossura
common.buy 18.99 €
La Charmante librairie des amours lointaines Jenny Colgan / Libro In brossura
common.buy 13.69 €
Det som inte syns Kopparklint / Audiolibro MP3
common.buy 6.59 €
English Folk Tales of Coast and Sea Lisa Schneidau / Libro Rigido
common.buy 16.89 €
Návštěva na Godenholmu Ernst Jünger / Libro In brossura
common.buy 10.49 €
Nuovi
Pringel und Finn Wreaders Verlag / Libro Rigido
common.buy 16.09 €
Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Libro Rigido
common.buy 31.89 €
Toisilleen luodut Ranta / Audiolibro MP3
common.buy 7.39 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Libro In brossura
common.buy 30.79 €
Ausreißererkennung auf der Grundlage von Clustering über erfasste Daten mit HADOOP Vaibhav Jain / Libro In brossura
common.buy 33.59 €
Wahrungskrieg IV Song Hongbing / Libro In brossura
common.buy 28.89 €
Einsichten - Ausblicke Albert Hofmann / Libro elettronico Adobe ePub DRM
common.buy 14.79 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Libro Rigido
common.buy 25.29 €
Au commencement du temps Bogdanov / Libro In brossura
common.buy 24.79 €
L'Idiot de la famille Sartre / Libro Rigido
common.buy 73.69 €
Vier Stern Stunden Daniel Glattauer / Libro Rigido
common.buy 16.69 €
Koerper trifft Seele Viktoria Georgi / Libro In brossura
common.buy 13.79 €

This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Methodology and Software Technology, AMAST '96, held in Munich, Germany, in July 1996.The book presents 25 revised full papers selected from a total of 67 submissions and 23 system demonstrations; also included are six invited talks and six invited presentations of the AMAST Education Day on industrial applications of formal methods. The full papers are organized in topical sections on theorem proving, algebraic specification, concurrent and reactive systems, program verification, logic programming and term rewriting, and algebraic and logical foundations.

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 Methodology and Software Technology
Autore Maurice Nivat, Martin Wirsing
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1996
Numero di pagine 647
EAN 9783540614630
ISBN 354061463X
Codice Libristo 05274595
Casa editrice Springer, Berlin
Peso 850
Dimensioni 156 x 234 x 33

Categorie

Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Intelligenza artificiale > Sistemi esperti e basati sulla conoscenza
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Sistemi operativi
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

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Libro Rigido
common.buy 136.49 €
Computational Mechanics 95, 4 S.N. Atluri / Libro In brossura
common.buy 107.29 €
The Cavalier George Washington Cable / Libro In brossura
common.buy 8.39 €
I migliori In preparazione
Cruel Crown Victoria Aveyard / Libro In brossura
common.buy 8.39 €
I migliori In preparazione
Attack On Titan: Colossal Edition 3 Hajime Isayama / Libro In brossura
common.buy 36.59 €
Radical Traditions in Education in the 21st Century Ken Jones / Libro In brossura
common.buy 45.69 €
North Carolina Grade 6 Mathematics Success Strategies Study Guide: North Carolina Eog Test Review for the North Carolina End-Of-Grade Tests North Carolina Eog Exam Secrets Test Pre / Libro In brossura
common.buy 37.99 €
Most Way Home Kevin Young / Libro In brossura
common.buy 15.39 €
Great Antonio Elise Gravel / Libro Rigido
common.buy 10.99 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Libro In brossura
common.buy 18.29 €
Eagle Visions Cindi Clarke Summerlin / Libro In brossura
common.buy 9.79 €
The Nigger from The Black Lagoon Shane Williams / Libro Rigido
common.buy 22.09 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Libro In brossura
common.buy 108.39 €
Extracted Clover Autrey / Libro In brossura
common.buy 10.69 €
Collins Birds of the World Norman Arlott / Libro Rigido
common.buy 82.89 €
Energy for Propulsion Akshai K. Runchal / Libro In brossura
common.buy 115.59 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Libro In brossura
common.buy 40.69 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Libro In brossura
common.buy 49.79 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / Libro elettronico Adobe ePub DRM
common.buy 204.49 €
Thoughts to Reflect On Robert Burns / Libro Rigido
common.buy 26.09 €
Where the Road Leads Sallie Smith Tribou / Libro Rigido
common.buy 25.59 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Libro In brossura
common.buy 113.19 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Libro Libro
common.buy 3 187.49 €
After the Ice Steven Mithen / Libro In brossura
common.buy 19.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?