Download E-books 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 PDF

By Jonathan Hayman, Tobias Heindel (auth.), Frank Pfenning (eds.)

This booklet constitutes the court cases of the sixteenth foreign convention on Foundations of software program technological know-how and Computational constructions, FOSSACS 2013, held as a part of the Joint eu meetings on conception and perform of software program, ETAPS 2013, which happened in Rome, Italy, in March 2013 The 28 papers provided during this quantity have been conscientiously reviewed and chosen from 109 submissions. they're geared up in topical sections named: versions of computation; reasoning approximately strategies; bisimulation; modal and higher-order logics; reasoning approximately courses; computational complexity; quantitative versions; and express models.

Show description

Read or Download 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 PDF

Similar Software books

Additional info for 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

Show sample text content

Rated 4.11 of 5 – based on 40 votes