Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Algebraic Methodology and Software Technology

Name: Algebraic Methodology and Software Technology
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01570336
Price: 53.79 EUR
Availability: InStock
Author: José Meseguer
ISBN: 9783540799795

12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings

José Meseguer

Grigore Rosu

Sprache

Englisch

Buch Broschur

Libristo-Code: 01570336

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juli 2008

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Met... Vollständige Beschreibung

Libristo-Code: 01570336

132 b

53.79 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Las memorias del Mariscal Soult Zbigniew Guscin

Hardcover

22.29 €

Faust I, 3 Audio-CD Johann W. von Goethe

Audio CD

14.99 €

La responsabilidad de la sociedad dominante en los grupos internacionales de sociedades BALLESTEROS BARROS

Adobe ePub DRM

46.29 €

Berlinische im Comic Franz Krober

Broschur

17.95 €

FINTECH. Perspectivas, Regulación, Modalidades y Desafíos en Venezuela Serviliano ABACHE CARVAJAL

Broschur

59.69 €

O prasátku Lojzíkovi Pavel Ondrašíkovi

Hardcover

7.09 €

Boxer and Brandon (Japanese Book for Kids) S.A. PUBLISHING

Hardcover

26.99 €

Single in the rain (Un canto a la vida en single) LOLA

Broschur

22.29 €

El poder del metabolismo Frank Suárez

Broschur

21.39 €

Frauen aus Deutschland Achim Seiffarth

Broschur

10.69 €

Dva a půl muže ve člunu Williams Nigel

Hardcover

10.09 €

Das Heft mit der Ente, Ausgabe für Österreich Peter Wachendorf

Blatt

3.39 €

Capacidad de Resiliencia de los indígenas Aguajún y Wampis Edward Enrique Rojas de la Puente

Broschur

33.59 €

This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008.§The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions. Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object paradigms, constraint programming and concurrency, program verification and transformation, programming calculi, specification languages and tools, formal specification and development case studies, logic, category theory, relation algebra, computational algebra, algebraic foundations for languages and systems, coinduction, theorem proving and logical frameworks for reasoning, logics of programs, as well as algebra and coalgebra.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Algebraic Methodology and Software Technology

Autor José Meseguer, Grigore Rosu

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2008

Anzahl der Seiten 434

EAN 9783540799795

ISBN 3540799796

Libristo-Code 01570336

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 688

Abmessungen 155 x 235 x 25

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

EDV und Informationstechnologie > Informatik > Künstliche Intelligenz

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Puligny-Montrachet Loftus Simon

Broschur

14.69 €

Establishing Our Life in Christ Rayola Kelley

Broschur

20.09 €

Civil Disobedience and Other Essays Henry David Thoreau

Broschur

14.19 €

Bella Bear My Friend Sophie's Art! Osanna Kazezian Rosa

Broschur

16.39 €

Introduction To C Programming Sheetal Patil

Broschur

33.59 €

Alan Ball: The Man in White Boots David Tossell

Broschur

16.89 €

Standing Rules and Regulations of His Majesty's Regiment of Fraser Fencible Infantry, Issued by Colonel Simon Fraser, at Tuam, 1798 MULTIPLE CONTRIBUTOR

Hardcover

31.79 €