Liknande böcker

List of Successes That Can Change the World
Bok
Grand Timely Topics in Software Engineering : International Summer Schoo...
Bok av Jacome Cunha
Grand Timely Topics in Software Enginee
Bok
Computer Aided Verification : 29th International Conference, CAV 2017, H...
Bok av Rupak Majumdar
A List of Successes That Can Change the World : Essays Dedicated to Phil...
Bok av Phil Trinder
Automatic Derivation of Platform Noninterference Properties : 14th Inter...
Bok av Oliver Schwarz
Logic-Based Program Synthesis and Transformation : 26th International Sy...
Bok av Manuel V Hermenegildo (editor), Pedro Lopez-Garcia (editor)
Trends in Functional Programming : 16th International Symposium, TFP 201...
Bok av Manuel Serrano

Programming Languages

Bok