Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings

Algebraic methodology and software technology 8th international conference, AMAST 2000, Iowa City, Iowa, USA, May 20 - 27, 2000 ; proceedings

Weitere Versionen anzeigen (1)
Gespeichert in:
Bibliographische Detailangaben
Format: Tagungsbericht Buch
Sprache:English
Veröffentlicht: Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London Springer 2000
Schriftenreihe:Lecture notes in computer science 1816
Schlagworte:
Fundamentele informatica
Génie logiciel - Congrès
Types abstraits de données (Informatique) - Congrès
Types abstraits de données (informatique) - Congrès
conception logiciel
développement logiciel
logiciel mathématique
machine abstraite
méthode algébrique
méthode formelle
processus algébrique
sémantique programme
Abstract data types (Computer science) > Congresses
Software engineering > Congresses
Software Engineering
Algebraische Methode
Konferenzschrift > 2000 > Iowa City Iowa
Online-Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!

Wegen Wartungsarbeiten nicht verfügbar

Unser Bibliotheksverwaltungssystem ist momentan wegen Wartungsarbeiten nicht verfügbar.

Bestandes- und Verfügbarkeitsinformationen können momentan leider nicht angezeigt werden. Wir entschuldigen uns für die Umstände und stehen für weitere Fragen gerne zur Verfügung:

it.bib-wue@thws.de

Online

Inhaltsverzeichnis

Ähnliche Einträge