Logical Foundations of Computer Science
Springer International Publishing AG, 2015
66,50 €On orderDelivery: 2-3 weeks
This bookconstitutes the refereed proceedings of the International Symposium on LogicalFoundations of Computer Science, LFCS 2016, held in Deerfield Beach, FL, USA inJanuary 2016. domain theory logics; logicalfoundations of database theory; intelligent and multiple-agent system logics; distributed system logics; system design logics;
- ISBN-13
- 9783319276823
- ISBN-10
- 3319276824
- Publisher
- Springer International Publishing AG
- Year
- 2015
- Publication date
- 2015-12-10
- Pages
- 407
- Dimensions
- 233x156x25
- Weight
- 626