Foundations of Software Science and Computation Structures [electronic resource] : 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 / edited by Frank Pfenning.

Pfenning, Frank. (editor.). SpringerLink (Online service) (Added Author).

E-book

Add to basket Remove from basket

Print / Email

Permalink

Disable Highlighting

Electronic resources

Record details

• ISBN: 9783642370755
• Physical Description: XXIV, 451 p. 51 illus. online resource.
• Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.

Search for related items by subject

Search for related items by series

• Lecture Notes in Computer Science, 0302-9743 ; 7794
• Lecture Notes in Computer Science, 0302-9743 ; 7794