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, Berlin
SKU: 01567397
Price: 107.29 EUR
Availability: InStock
Author: Teodor Rus
ISBN: 9783540675303

8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20-27, 2000 Proceedings

Teodor Rus

Sprache

Englisch

Buch Broschur

Libristo-Code: 01567397

Verlag Springer, Berlin, November 1999

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

Libristo-Code: 01567397

263 b

107.29 € inkl. MwSt.

Externes Lager Wir versenden in 5-8 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

20 lustige Geschichten Klaus-Dieter Baudach

Broschur

13.49 €

Das große Buch der russischen Küche A. A. Samojlow

Hardcover

34.00 €

Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder

Broschur

66.79 €

Derrière les portes bleues - roman Giliberti Buch

Broschur

19.29 €

8 SYMPHONIES OP. 2 POCHE WILLIAM BOYCE Drucksachen

Noten

27.39 €

Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P

Broschur

7.49 €

Společenská hra Pohádkový soubor 9 her

Spiel

24.29 €

Akupresura Jiří Marek

Buch

9.39 €

Kai Martin Ritterbach

Broschur

20.30 €

This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Methodology and Software Technology, AMAST 2000, held in Iowa City, Iowa, USA, in May 2000.The 20 revised full papers presented together with eight invited contributions were carefully reviewed and selected from a total of 53 submissions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines, algebraic state machines, algebraic compilers, state charts, process algebras, etc. The algebraic methods are applied to reactive systems, safety-critical systems, concurrency, Java, UML, etc.

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 Teodor Rus

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2000

Anzahl der Seiten 545

EAN 9783540675303

ISBN 3540675302

Libristo-Code 01567397

Verlag Springer, Berlin

Gewicht 780

Abmessungen 155 x 235 x 29

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Algebra

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Algorithmen und Datenstrukturen

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering

EDV und Informationstechnologie > Computersicherheit > Kryptografie, Verschlüsselungstechnologie

EDV und Informationstechnologie > Informatik > Theoretische Informatik

EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf

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