.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Foundations of Software Science and Computation Structures
. Ed(S): Honsell, Furio; Miculan, Marino
€ 72.73
FREE Delivery in Ireland
Description for Foundations of Software Science and Computation Structures
Paperback. Software science topics covered in this text include algebraic, categorical, logical and geometric theories. Also discussed are synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems. Editor(s): Honsell, Furio; Miculan, Marino. Series: Lecture Notes in Computer Science. Num Pages: 420 pages, biography. BIC Classification: UMZ. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 22. Weight in Grams: 603.
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these ... Read more
ETAPS 2001 was the fourth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), ten satellite workshops (CMCS, ETI Day, JOSES, LDTA, MMAABS, PFM, RelMiS, UNIGRA, WADT, WTUML), seven invited lectures, a debate, and ten tutorials. The events that comprise ETAPS address various aspects of the system de- lopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these ... Read more
Product Details
Format
Paperback
Publication date
2001
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
420
Condition
New
Series
Lecture Notes in Computer Science
Number of Pages
420
Place of Publication
Berlin, Germany
ISBN
9783540418641
SKU
V9783540418641
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Foundations of Software Science and Computation Structures