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

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.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: 01562279
Price: 51.09 EUR
Availability: InStock
Author: Michael Johnson
ISBN: 9783540356332

11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings

Michael Johnson

Varmo Vene

Sprache

Englisch

Buch Broschur

Libristo-Code: 01562279

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Juni 2006

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and S... Vollständige Beschreibung

Libristo-Code: 01562279

125 b

51.09 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jean-Louis Murat - Les jours du jaguar Pierre Andrieu

Broschur

33.69 €

Sweet Minis häkeln - 23 wilde Dschungeltiere Inga Borges

Hardcover

10.00 €

Bestiari Navarro Simon

Broschur

8.39 €

Método TED para hablar en público JEREMY DONOVAN

Broschur

17.89 €

Napoleon III Et l'Opinion Catholique. a Mme De... Tres-Zelee Catholique, A Lyon Sans Auteur

Broschur

11.99 €

Histoire Des Deux Restaurations: Jusqu'a l'Avenement de Louis-Philippe. T 7 (Ed.1860) Achille De Vaulabelle

Broschur

25.99 €

Tarifvertrags- und Arbeitskampfrecht (Kollektives Arbeitsrecht) Dario Fischer

Broschur

9.99 €

Migrations- und Flüchtlingspolitik der Europäischen Union Matthias Amann

Broschur

68.00 €

This is the refereed proceedings of the 11th International Conference on Algebraic Methodology and Software Technology. The book collects 24 revised full papers together with 3 system demonstrations and 3 invited talks. Coverage includes current issues in formal methods related to algebraic approaches and to software engineering including abstract data types, process algebras, algebraic specification, model checking, abstraction, refinement, mu-calculus, state machines, rewriting, Kleene algebra, programming logic, and formal software development.

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 Michael Johnson, Varmo Vene

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2006

Anzahl der Seiten 392

EAN 9783540356332

ISBN 3540356339

Libristo-Code 01562279

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

Gewicht 1260

Abmessungen 155 x 235 x 22

Kategorie

EDV und Informationstechnologie > Informatik > Theoretische Informatik > Mathematik für Informatiker

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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