Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Jeff Kramer

Home / Authors / Jeff Kramer

Tags

java mathematics computing computer science java (programming language) formal methods logic in computer science finite model theory model checking formal verification software engineering sun microsystems concurrency

Published Books

Concurrency: State Models and Java Programs 2e

Read more

July 2006

Concurrency: State Models & Java Programs

Read more

April 1999

Hacking the Kinect

Read more

March 2012

Co-Authors