Fundamentals of Computation Theory

	Formal Verification: An Essential Toolkit for Modern VLSI Design Seligman, Erik
show all

Authors	Ralf Klasing
Publisher	Springer Nature
Year	28/08/2017
Version	eBook: Reflowable eTextbook (ePub)
Language	English
ISBN	9783662557518
Categories	Computing & information technology, Network hardware, Computer programming / software development, Algorithms & data structures, Software Engineering

Add to bookshelf

Book description

This book constitutes the refereed proceedings of the 21st International Symposium on Fundamentals of Computation Theory, FCT 2017, held in Bordeaux, France, in September 2017. The 29 revised full papers and 5 invited papers presented were carefully reviewed and selected from 99 submissions. The papers cover topics of all aspects of theoretical computer science, in particular algorithms, complexity, formal and logical methods.

Fundamentals of Computation Theory

We also recommend books

Parallel & Distributed Scientific &..

Yi Pan

770.70 PLN

Algorithms and Complexity: Proceedings of..

Hajo Broersma

126.03 PLN

Measuring Power of Algorithms, Programs &..

Mark Burgin

720.30 PLN

Embedded Cryptographic Hardware:..

Luiza Macedo Mourelle

997.50 PLN
Flexible Text Searching

Panagiotis D Michailidis

317.10 PLN

Bookstore

Fundamentals of Computation Theory

Book description

We also recommend books

Parallel & Distributed Scientific &..

Algorithms and Complexity: Proceedings of..

Measuring Power of Algorithms, Programs &..

Embedded Cryptographic Hardware:..

Flexible Text Searching