Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science, 520, Band 520) - Softcover

Tarlecki, Andrzej

 
9783540543459: Mathematical Foundations of Computer Science 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991. Proceedings (Lecture Notes in Computer Science, 520, Band 520)
Softcover
ISBN 10: 3540543457 ISBN 13: 9783540543459
Verlag: Springer, 2008

Inhaltsangabe

This volume contains the proceedings of the 16th International Symposium on Mathematical Foundations of Computer Science, MFCS '91, held in Kazimierz Dolny, Poland, September 9-13, 1991. The series of MFCS symposia, organized alternately in Poland and Czechoslovakia since 1972, has a long and well established tradition. The purpose of the series is to encourage high-quality research in all branches of theoretical computer science and to bring together specialists working actively in the area. Principal areas of interest in this symposium include: software specification and development, parallel and distributed computing, logic and semantics of programs, algorithms, automata and formal languages, complexity and computability theory, and others. The volume contains 5 invited papers by distinguished scientists and 38 contributions selected from a total of 109 submitted papers.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540543457
ISBN 13 
9783540543459
Einband
Taschenbuch
Anzahl der Seiten
452
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland

Weitere beliebte Ausgaben desselben Titels

9780387543451: Mathematical Foundations of Computer Science, 1991: 16th International Symposium, Kazimierz Dolny, Poland, September 9-13, 1991 : Proceedings ... FOUNDATIONS OF COMPUTER SCIENCE)

Vorgestellte Ausgabe

ISBN 10:  0387543457 ISBN 13:  9780387543451
Verlag: Springer Verlag, 1991
Softcover