Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers (Workshop on Specification of Abstract Data Types Joint with - Egidio Astesiano - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540591320 - 21. april 1995
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers (Workshop on Specification of Abstract Data Types Joint with Annotated edition

Egidio Astesiano

Pris
NOK 569

Bestillingsvarer

Forventes levert 30. jul - 7. aug

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
Eller

Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th Compass Workshop, S. Margherita, Italy, May 30 - June 3, 1994. Selected Papers (Workshop on Specification of Abstract Data Types Joint with Annotated edition

This volume surveys research activities with classical algebraic techniques, formalisms based on general logics and category theory, type systems for specification languages and new structures for modelling dynamic systems.

532 pages, biography

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 21. april 1995
ISBN13 9783540591320
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 532
Mål 156 × 234 × 27 mm   ·   748 g
Språk Tysk  
Redaktør Astesiano, Egidio
Redaktør Reggio, Gianna
Redaktør Tarlecki, Andrzej
Vis alle

Mer med Egidio Astesiano

Se alt med Egidio Astesiano ( f.eks. Pocketbok )