Related Books

Introduction to Concurrency Theory
Language: en
Pages: 341
Authors: Roberto Gorrieri
Categories: Computers
Type: BOOK - Published: 2015-09-02 - Publisher: Springer

DOWNLOAD EBOOK

This book presents the fundamentals of concurrency theory with clarity and rigor. The authors start with the semantic structure, namely labelled transition syst
Theory And Practice Of Computation - Proceedings Of Workshop On Computation: Theory And Practice Wctp2013
Language: en
Pages: 266
Authors: Shin-ya Nishizaki
Categories: Computers
Type: BOOK - Published: 2014-09-05 - Publisher: World Scientific

DOWNLOAD EBOOK

This is the proceedings of the Third Workshop on Computing: Theory and Practice, WCTP 2013 devoted to theoretical and practical approaches to computation. This
Tests and Proofs
Language: en
Pages: 202
Authors: Virgile Prevosto
Categories: Philosophy
Type: BOOK - Published: 2023-07-19 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th International Conference, TAP 2023, as part of STAF 2023, a federation of conferences on Software Technologies
Compiler Construction
Language: en
Pages: 292
Authors: Oege de Moor
Categories: Computers
Type: BOOK - Published: 2009-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 18th International Conference on Compiler Construction, CC 2009, held in York, UK, in March 2009 as part o
Principles of Verification: Cycling the Probabilistic Landscape
Language: en
Pages: 509
Authors: Nils Jansen
Categories:
Type: BOOK - Published: - Publisher: Springer Nature

DOWNLOAD EBOOK