Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science - Teodor Rus - Livres - Springer-Verlag Berlin and Heidelberg Gm - 9783540675303 - 3 mai 2000
Si la couverture et le titre ne correspondent pas, le titre est correct.

Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science

Teodor Rus

Prix
€ 120,49

Commandé depuis un entrepôt distant

Livraison prévue 24 juil. - 5 août

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Algebraic Methodology and Software Technology: 8th International Conference, Amast 2000 Iowa City, Iowa, Usa, May 20-27, 2000 Proceedings - Lecture Notes in Computer Science

This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.

545 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 3 mai 2000
ISBN13 9783540675303
Éditeurs Springer-Verlag Berlin and Heidelberg Gm
Pages 545
Dimensions 155 × 233 × 29 mm   ·   1,29 kg
Éditeur Rus, Teodor

Voir tous les Teodor Rus ( par ex. Paperback Book et Hardcover Book )