Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Algebraic Methodology and Software Technology

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

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Algebraic Methodology and Software Technology Maurice Nivat
Libristo-code: 05274595
Uitgeverij Springer, Berlin, november 1995
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Meth... Volledige beschrijving
? points 249 b
103.10 €
In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Lilith, la lune noire - Oracle de l'alchimie cosmique Adama Sesay / Boek Gebonden (harde band)
common.buy 30.98 €
Toisilleen luodut Ranta / Luisterboek MP3
common.buy 7.18 €
CIA Tim Weiner / Boek Gebonden (paperback)
common.buy 16.30 €
TOP
Návštěva na Godenholmu Ernst Jünger / Boek Gebonden (paperback)
common.buy 10.02 €
TOP
Nevera Juliet Rosenfeld / Boek Gebonden (paperback)
common.buy 18.22 €
English Folk Tales of Coast and Sea Lisa Schneidau / Boek Gebonden (harde band)
common.buy 17.11 €
De Thematibus Et De Administrando Imperio Immanuel Bekker / Boek Gebonden (paperback)
common.buy 29.77 €
Det som inte syns Kopparklint / Luisterboek MP3
common.buy 6.37 €
Nieuw
Pringel und Finn Wreaders Verlag / Boek Gebonden (harde band)
common.buy 15.39 €
La Charmante librairie des amours lointaines Jenny Colgan / Boek Gebonden (paperback)
common.buy 13.26 €
Wahrungskrieg IV Song Hongbing / Boek Gebonden (paperback)
common.buy 27.94 €
Einsichten - Ausblicke Albert Hofmann / E-book Adobe ePub DRM
common.buy 14.27 €
CABALLEROS DE CONQUISTA Y MUJERES DE AR ROMERO SAIZ / Boek Gebonden (harde band)
common.buy 27.03 €
Au commencement du temps Bogdanov / Boek Gebonden (paperback)
common.buy 23.99 €
L'Idiot de la famille Sartre / Boek Gebonden (harde band)
common.buy 71.50 €
Vier Stern Stunden Daniel Glattauer / Boek Gebonden (harde band)
common.buy 13.56 €
Koerper trifft Seele Viktoria Georgi / Boek Gebonden (paperback)
common.buy 13.16 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Algebraic Methodology and Software Technology
Auteur Maurice Nivat, Martin Wirsing
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1996
Aantal pagina's 647
EAN 9783540614630
ISBN 354061463X
Libristo-code 05274595
Uitgeverij Springer, Berlin
Gewicht 850
Afmetingen 156 x 234 x 33

Categorieën

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Abdominal and Pelvic Imaging Cases Mukesh G. Harisinghani / Boek Gebonden (harde band)
common.buy 131.05 €
Computational Mechanics 95, 4 S.N. Atluri / Boek Gebonden (paperback)
common.buy 103.10 €
The Cavalier George Washington Cable / Boek Gebonden (paperback)
common.buy 8.09 €
TOP Wordt verwacht
Cruel Crown Victoria Aveyard / Boek Gebonden (paperback)
common.buy 7.89 €
Wordt verwacht
Attack On Titan: Colossal Edition 3 Hajime Isayama / Boek Gebonden (paperback)
common.buy 34.63 €
Radical Traditions in Education in the 21st Century Ken Jones / Boek Gebonden (paperback)
common.buy 44.15 €
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 / Boek Gebonden (paperback)
common.buy 36.45 €
Most Way Home Kevin Young / Boek Gebonden (paperback)
common.buy 14.78 €
Great Antonio Elise Gravel / Boek Gebonden (harde band)
common.buy 11.84 €
10 Financial Mistakes You Should Avoid Stephen S. K. Ng / Boek Gebonden (paperback)
common.buy 17.82 €
Eagle Visions Cindi Clarke Summerlin / Boek Gebonden (paperback)
common.buy 9.51 €
The Nigger from The Black Lagoon Shane Williams / Boek Gebonden (harde band)
common.buy 21.26 €
Introduction to Statistics and Research Methods: Pearson New International Edition Stephen Davis / Boek Gebonden (paperback)
common.buy 109.78 €
Extracted Clover Autrey / Boek Gebonden (paperback)
common.buy 10.32 €
Collins Birds of the World Norman Arlott / Boek Gebonden (harde band)
common.buy 83.95 €
Energy for Propulsion Akshai K. Runchal / Boek Gebonden (paperback)
common.buy 110.89 €
History Of The Catholic Church V2: For Use In Seminaries And Colleges (1885) Heinrich Brueck / Boek Gebonden (paperback)
common.buy 39.29 €
Cambridge Illustrated History of Warfare Geoffrey Parker / Boek Gebonden (paperback)
common.buy 48.20 €
Encyclopaedia of Echinodermata Volume-3 (Phylum Echinodermata) Rajiv Tyagi / E-book Adobe ePub DRM
common.buy 197.29 €
Thoughts to Reflect On Robert Burns / Boek Gebonden (harde band)
common.buy 25.31 €
Beginning Biblical Hebrew Robert D. Sacks / Boek Gebonden (paperback)
common.buy 16.70 €
Isotopes in the Water Cycle Pradeep K. Aggarwal / Boek Gebonden (paperback)
common.buy 119.81 €
VISIONS LEVEL C-CHICAGO CLASSSET MCCLOSKEY / Boek Boek
common.buy 3 088.41 €
After the Ice Steven Mithen / Boek Gebonden (paperback)
common.buy 19.33 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?