Programming Languages and Systems: 7th European Symposium on Programming, ESOP'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings
Gert Smolka (auth.), Chris Hankin (eds.)This book constitutes the refereed proceedings of the 7th European Symposium on Programming, ESOP'98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, in Lisbon, Portugal, in March/April 1998.
This volume presents 17 revised full papers selected from a total of 59 submissions; also included is one invited paper. Among the issues addressed are software specification and verification, programming paradigms, semantics for formal development and implementation, program analysis, program transformation, etc.
Կատեգորիաներ:
Տարի:
1998
Հրատարակում:
1
Հրատարակչություն:
Springer-Verlag Berlin Heidelberg
Լեզու:
english
Էջեր:
289
ISBN 10:
3540643028
ISBN 13:
9783540643029
Սերիաներ:
Lecture Notes in Computer Science 1381
Ֆայլ:
PDF, 15.71 MB
IPFS:
,
english, 1998
Amazon 
Barnes & Noble 
Bookshop.org
Ցանկանու՞մ եք գրախանութ ավելացնել: Խնդրում ենք կապնվել մեզ հետ support@z-lib.fm միջոցով
File converter
Բացել որոնման արդյունքները
More benefits 
![Péter Müller [Müller, Péter] — Programming Languages and Systems: 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/4632631b1f98544728f58695e7c9855fa721009738fe8c1355f11595304bcaac.jpg)
![Amal Ahmed [Amal Ahmed] — Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice ... Science and General Issues Book 10801)](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/f62742082dc192d066d9d0d406ea0bc62340fe7a3de1a81562148a09ae366985.jpg)
