Get Free Shipping on orders over $0
Foundations of Software Science and Computation Structures : 16th International Conference, Fossacs 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings - Frank Pfenning

Foundations of Software Science and Computation Structures

16th International Conference, Fossacs 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2013, Rome, Italy, March 16-24, 2013, Proceedings

By: Frank Pfenning (Editor)

Paperback | 20 February 2013

At a Glance

Paperback


$84.99

or 4 interest-free payments of $21.25 with

 or 

Ships in 5 to 7 business days

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2013, which took place in Rome, Italy, in March 2013

The 28 papers presented in this volume were carefully reviewed and selected from 109 submissions. They are organized in topical sections named: models of computation; reasoning about processes; bisimulation; modal and higher-order logics; reasoning about programs; computational complexity; quantitative models; and categorical models.

More in Software Engineering

Design Patterns : Elements of Reusable Object-Oriented Software - Erich Gamma
The Essence of Software Engineering - Cersei Page
Building Microservices : Designing Fine-Grained Systems 2nd Edition - Sam Newman
Coding All-in-One For Dummies : 2nd Edition - Chris Minnick

RRP $69.95

$46.99

33%
OFF
Refactoring 2ed : Improving the Design of Existing Code - Martin Fowler
Git : Pocket Guide : A Working Introduction - Richard Silverman

RRP $47.75

$38.20

20%
OFF
Hacking For Dummies : For Dummies (Computer/Tech) - Kevin Beaver

RRP $49.95

$36.75

26%
OFF
Arduino for Dummies : Blackwell Philosophy Anthologies - John Nussey
The Psychology of Software Teams - Cat Hicks

RRP $67.99

$65.75

Site Reliability Engineering : How Google Runs Production Systems - Betsy Beyer
The Engineering Leader : Strategies for Scaling Teams and Yourself - Cate Huston