Name: Formal Verification of Just-In-Time Compilation (ACM Books)
Brand: ACM Books
SKU: 371837491
Availability: OutOfStock

Formal Verification of Just-In-Time Compilation

By Aurèle Barrière

Formal Verification of Just-In-Time Compilation

By Aurèle Barrière

£49.80 Elsewhere ~~£65.00~~ Save £15.20 (23%)

Formal Verification of Just-In-Time Compilation

By Aurèle Barrière

Formal Verification of Just-In-Time Compilation

By Aurèle Barrière

£36.78 Elsewhere ~~£48.00~~ Save £11.22 (23%)

Trustworthy Compilers (Quantitative Software Engineering Series)

By Safonov, Vladimir O.

Trustworthy Compilers (Quantitative Software Engineering Series)

By Safonov, Vladimir O.

£134

Programming Languages (An Active Learning Approach)

By Kent D. Lee

Programming Languages (An Active Learning Approach)

By Kent D. Lee

£79.52

Programming Languages (An Active Learning Approach)

By Lee, Kent D.

Programming Languages (An Active Learning Approach)

By Lee, Kent D.

£79.44

C++ and Object-Oriented Numeric Computing for Scientists and Engineers

By Yang, Daoqi

C++ and Object-Oriented Numeric Computing for Scientists and Engineers

By Yang, Daoqi

£56.38

The Definitive Guide to Gcc

By Kurt Wall, William Von Hagen

The Definitive Guide to Gcc

By Kurt Wall, William Von Hagen

£52.94 Elsewhere ~~£64.99~~ Save £12.05 (19%)

2

Beginning C (From Novice to Professional)

By Horton, Ivor

Beginning C (From Novice to Professional)

By Horton, Ivor

£71.66

Automatic Program Development (A Tribute to Robert Paige)

By Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Automatic Program Development (A Tribute to Robert Paige)

By Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

£91.03

Handbook of Open Source Tools

By Koranne, Sandeep

Handbook of Open Source Tools

By Koranne, Sandeep

£101

Instruction Level Parallelism

By Aiken, Alex, Nicolau, Alexandru, Arun Kejariwal

Instruction Level Parallelism

By Aiken, Alex, Nicolau, Alexandru, Arun Kejariwal

£52.93 Elsewhere ~~£54.99~~ Save £2.06 (4%)

Beginning C (From Novice to Professional)

By Horton, Ivor

Beginning C (From Novice to Professional)

By Horton, Ivor

£46.94

Ubiquitous Information Technologies and Applications (CUTE 2012 (Lecture Notes in Electrical Engineering))

By Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo

Ubiquitous Information Technologies and Applications (CUTE 2012 (Lecture Notes in Electrical Engineering))

By Youn-Hee Han, Doo-Soon Park, Weijia Jia, Sang-Soo Yeo

£182

Automatic Program Development (A Tribute to Robert Paige)

By Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

Automatic Program Development (A Tribute to Robert Paige)

By Olivier Danvy, Fritz Henglein, Harry Mairson, Alberto Pettorossi

£93.63

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano

Formal Languages and Compilation (Texts in Computer Science)

By Crespi Reghizzi, Stefano

£61.46

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg

£46.73 Elsewhere ~~£49.99~~ Save £3.26 (7%)

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

£80.99 Elsewhere ~~£89.99~~ Save £9.00 (10%)

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

Programming with TensorFlow (Solution for Edge Computing Applications (EAI/Springer Innovations in Communication and Computing))

By Kolla Bhanu Prakash, G. R. Kanagachidambaresan

£51.32 Elsewhere ~~£54.99~~ Save £3.67 (7%)

A Concise Introduction to Software Engineering (With Open Source and GenAI (Undergraduate Topics in Computer Science))

By Pankaj Jalote

A Concise Introduction to Software Engineering (With Open Source and GenAI (Undergraduate Topics in Computer Science))

By Pankaj Jalote

£57.93

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman

Topics in Parallel and Distributed Computing (Enhancing the Undergraduate Curriculum: Performance, Concurrency, and Programming on Modern Platforms)

By Sushil K. Prasad, Anshul Gupta, Arnold Rosenberg, Alan Sussman

£46.68 Elsewhere ~~£49.99~~ Save £3.31 (7%)

Compiler Design (Virtual Machines)

By Wilhelm, Reinhard, Seidl, Helmut

Compiler Design (Virtual Machines)

By Wilhelm, Reinhard, Seidl, Helmut

£71.27

1

Come, Let’s Play (Scenario-Based Programming Using LSCs and the Play-Engine)

By Marelly, Rami, Harel, David

Come, Let’s Play (Scenario-Based Programming Using LSCs and the Play-Engine)

By Marelly, Rami, Harel, David

£46.29

Formal Verification of Just-In-Time Compilation (ACM Books)

By Aurèle Barrière

Formal Verification of Just-In-Time Compilation (ACM Books)

By Aurèle Barrière

Currently
Unavailable

Formal Verification of Just-In-Time Compilation (ACM Books)

By Aurèle Barrière

Formal Verification of Just-In-Time Compilation (ACM Books)

By Aurèle Barrière

Currently
Unavailable

View:
Safe Search(?):