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øger - Springer-Verlag Berlin and Heidelberg Gm - 9783540591320 - 21. april 1995
Ved uoverensstemmelse mellem cover og titel gælder titel

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
₩ 96.750

Bestilles fra fjernlager

Forventes klar til forsendelse 29. jul. - 4. aug.

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 21. april 1995
ISBN13 9783540591320
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 532
Mål 156 × 234 × 27 mm   ·   748 g
Sprog Tysk  
Klipper/redaktør Astesiano, Egidio
Klipper/redaktør Reggio, Gianna
Klipper/redaktør Tarlecki, Andrzej
Vis alle

Mere med Egidio Astesiano

Se alt med Egidio Astesiano ( f.eks. Paperback Bog )