unglue.it Browse Free Books

X

#1

Explore

View As:

Sort by:
popular
newest
title

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

More Info

AVAILABLE!

Login to Fave

Read it Now

Tools and Algorithms for the Construction and Analysis of Systems

Bernd Finkbeiner and Laura Kovács

Login to Fave

No Faves

Michael Voss et al.

More Info

AVAILABLE!

Login to Fave

Read it Now

Pro TBB

Michael Voss et al.

Login to Fave

No Faves

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

More Info

AVAILABLE!

Login to Fave

Read it Now

A Machine-Checked, Type-Safe Model of Java Concurrency : Language, Virtual Machine, Memory Model, and Verified Compiler

Andreas Lochbihler

Login to Fave

No Faves

1