Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.99 €
phone Kontakt phoneWie einkaufen

Algebraic Methodology and Software Technology

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

Sprache EnglischEnglisch
Buch Broschur
Buch Algebraic Methodology and Software Technology Teodor Rus
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
? points 262 b
107.29 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Le Tréportais Gilbert Testelin-Un policier en résistance Charon / Buch Broschur
common.buy 22.39 €
Mon Coach perso: Conseils et stratégies pour réaliser vos r?ves et vos objectifs Ludovic P / Buch Broschur
common.buy 6.79 €
Tokyo Aliens - Tome 11 NAOE / Buch Buch
common.buy 9.79 €
!Vuelve a ser Navidad! Annika Devert / Buch Broschur
common.buy 23.49 €
Les fondements de la terreur Dr.Dilip M kathad / Buch Broschur
common.buy 64.29 €
Mariposa mozgalom Gert Nygardshaug / Buch Broschur
common.buy 12.59 €
Kai Martin Ritterbach / Buch Broschur
common.buy 20.30 €
Společenská hra Pohádkový soubor 9 her / Spiel/Spielzeug Spiel
common.buy 24.19 €
Akupresura Jiří Marek / Buch Buch
common.buy 9.19 €
DICTIONNAIRE COMPLET DES HYDROLATS ET EAUX FLORALES ZAHALKA JEAN-PHILIPPE / Buch Broschur
common.buy 27.79 €
DEMYSTIFICTION DE LA PRATIQUE OCCLUSALE : UNEAPPROCHE RAISONNEE ET SIMPLIFIEE PO Pieaud Buch Broschur
common.buy 131.99 €
DEACON KING KONG MCBRIDE JAMES / Buch Broschur
common.buy 30.69 €
Silná slova Petra Rybková / Buch Broschur
common.buy 17.99 €
Das große Buch der russischen Küche A. A. Samojlow / Buch Hardcover
common.buy 34.00 €
Kommunikationsstrategien im Lifestyle-Marketing Julia Loschelder / Buch Broschur
common.buy 63.49 €
Sportfunktionäre und jüdische Differenz Bernhard Hachleitner / Buch Hardcover
common.buy 124.95 €
Erfolgreich mit Spenderinnen und Spendern korrespondieren Norbert Franck / Buch Broschur
common.buy 15.89 €
20 lustige Geschichten Klaus-Dieter Baudach / Buch Broschur
common.buy 12.59 €
Projektevaluation fur eine Nonprofit-Organisation Christian Bindella / Buch Broschur
common.buy 49.19 €
Les Antiquites d'Athenes. Tome 4 Stuart-J / Buch Broschur
common.buy 19.29 €

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
Ewa Kasp
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

Das könnte Sie auch interessieren

An Introduction to Convex Polytopes Arne Brondsted / Buch Broschur
common.buy 52.69 €
Survival or Extinction? Bridget Martin / Buch Hardcover
common.buy 37.39 €
Pick Fresh Cookbook: Creating Irresistible Dishes from the Best Seasonal Produce Cooking Light / Buch Broschur
common.buy 18.69 €
Kendra's Pocket Posh Journal, Mum Andrews McMeel Publishing / Buch Broschur
common.buy 7.59 €
Spark Courtney Elizabeth Mauk / Buch Broschur
common.buy 14.60 €
Rapid Urbanisation, Urban Food Deserts and Food Security in Africa Jonathan Crush / Buch Hardcover
common.buy 96.59 €
Heart of Darkness Joseph Conrad / Buch Hardcover
common.buy 18.59 €
Homeless Dogs and Melancholy Apes Laura Brown / Buch Broschur
common.buy 39.59 €
Mobius Invariant QK Spaces Hasi Wulan / Buch Hardcover
common.buy 117.99 €
Twenty-One Laboratory Sessions in Microbiology: A Concise Laboratory Manual to Accompany an Introductory Microbiology Course Michael J Anzelone / Buch Broschur
common.buy 56.11 €
School Leadership in Times of Urban Reform Marilyn Bizar / Buch Hardcover
common.buy 196.49 €
Bridging the Gap: How to Create More Emotional Intimacy in Your Marriage Christina Shelley Albrecht / Buch Broschur
common.buy 8.79 €
Ethereum: Master the Ether and Profit from Opportunity David Chang / Buch Broschur
common.buy 13.70 €
The Works of Tobias Smollett, M.D. Tobias George Smollett / Buch Broschur
common.buy 33.59 €
QUINTET IN C MAJOR OP11 NO 1 OP11 NR 1 F JOHANN CHRISTI BACH / Buch binding.
common.buy 31.49 €
Measuring Weight Martha Elizabeth Hillman Rustad / Buch Broschur
common.buy 8.99 €
Routledge Guidebook to Machiavelli's The Prince John T. Scott / Buch Hardcover
common.buy 211.29 €
Praktisches Werk Von Der Onanie CHRISTIAN FR B RNER / Buch Broschur
common.buy 18.00 €
Bioactive Ceramides in Health and Disease Johnny Stiban / Buch Hardcover
common.buy 107.29 €
Songs and Satires James Jeffrey Roche / Buch Hardcover
common.buy 28.90 €
Marvel's Box of Super Heroes: The 80th Anniversary Mini Notebook Set Marvel / Kalender/Terminbuch Terminbuch
common.buy 16.39 €
Treatise On The History And Construction Of The Violin: With A Short Account Of The Lives Of Its Greatest Players And Makers (1807) Georges Foucher / Buch Broschur
common.buy 20.00 €
70 Days, 70 Ways Bianca Chandler / Buch Broschur
common.buy 19.29 €
Course in Stochastic Game Theory Eilon Solan / Buch Hardcover
common.buy 116.19 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?