Del i serien Monographs in Theoretical Computer Science. An EATCS Series

Foundations of Algebraic Specification and Formal Software Development

Inbunden, Engelska, 2011

AvDonald Sannella,Andrzej Tarlecki

1 689 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Finns i fler format (1)

Häftad

1 689 kr

Skickas inom 10-15 vardagar

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties.

Produktinformation

Utgivningsdatum2011-12-30
Mått155 x 235 x 38 mm
Vikt1 057 g
FormatInbunden
SpråkEngelska
SerieMonographs in Theoretical Computer Science. An EATCS Series
Antal sidor584
Upplaga2012
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783642173356

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik
Programvaruutveckling inom Data och IT
Systemvetenskap och AI inom Data och IT

The first author is a professor of computer science at the University of Edinburgh. His key research area is foundations for specification and formal development of modular software systems from specifications, with applications to computer security and programming languages; among other responsibilities, he is the Editor-in-Chief of the journal Theoretical Computer Science and Vice President of the European Association for Theoretical Computer Science. The second author is a professor of computer science at the University of Warsaw, and also at the Institute of Computer Science of the Polish Academy of Sciences. His research mainly concerns foundations for specification and formal development of modular software systems from specifications, semantics, and relevant aspects of logic, universal algebra and category theory; among other responsibilities, he is the Editor-in-Chief of the journal Information Processing Letters. They have each chaired major conferences in software engineering and theoretical computer science, and have served on the steering and program committees of the main events related to the topic of this book.