 |
|
|
 Realm of Racket: Learn to Program, One Game at a Time!
Racket is a descendant of Lisp, a programming language renowned for its elegance, power, and challenging learning curve. But while Racket retains the functional goodness of Lisp, it was designed with beginning programmers in mind. Realm of Racket is your introduction to the Racket language.
In Realm of... |  |  |  |  Interactive Theorem Proving and Program Development
A practical introduction to the development of proofs and certified programs using Coq.
An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software. ... |
|
|
|
| Result Page: 428 427 426 425 424 423 422 421 420 419 418 417 416 415 414 413 412 411 410 |