Holdings: Reachability Problems

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kucera, Antonin. (Editor, http://id.loc.gov/vocabulary/relators/edt), Potapov, Igor. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format:	Electronic eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Theoretical Computer Science and General Issues ; 6227
Subjects:	Computer programming. Software engineering. Programming languages (Electronic computers). Computer logic. Mathematical logic. Programming Techniques. Software Engineering/Programming and Operating Systems. Programming Languages, Compilers, Interpreters. Logics and Meanings of Programs. Software Engineering. Mathematical Logic and Formal Languages.
Online Access:	https://doi.org/10.1007/978-3-642-15349-5
Tags:	Add Tag No Tags, Be the first to tag this record!