Computer Science Logic

Angebote / Angebote:

This book constitutes the refereed proceedings of the 20th International Workshop on Computer Science Logic, CSL 2006. The book presents 37 revised full papers together with 4 invited contributions, addressing all current aspects of logic in computer science. Coverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational logic and term rewriting, automata and formal logics, modal and temporal logic, model checking, finite model theory, and more.

Lieferbar in ca. 20-45 Arbeitstagen

Preis

142,00 CHF

Verfügbarkeit:

Lieferbar

Produktinformation
Kundenbewertungen

Produktinformation

Artikelnummer 9783540454588
Status Lieferbar in ca. 20-45 Arbeitstagen
Autor Ésik, Zoltán
Einband C, Programming Languages, Compilers, Interpreters, Theory of Computation, Mathematical Logic and Formal Languages, Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Foundations, Compilers and Interpreters, Formal Languages and Automata Theory, Computer Science Logic and Foundations of Programming, computer science, Programming languages (Electronic computers), Computers, Mathematical logic, Computer logic, Compilers & interpreters, Mathematical theory of computation, Computer programming / software engineering, Computer architecture & logic design, Mathematical foundations, Kartonierter Einband (Kt)
Sprache eng
Seiten 627
Verlag Springer Nature EN
Reihe Lecture Notes in Computer Science, Theoretical Computer Science and General Issues
Publikationsjahr 2006

Kundenbewertungen

Dieser Artikel hat noch keine Bewertungen.