Buy Used and New Algorithms Books

Results for Algorithms

Showing 361 to 372 of 1,280 results
Software Verification and Validation: An Engineering and Scientific Approach Software Verification and Validation: An Engineering and Scientific Approach by Marcus S. Fisher

Software Verification and Validation: An Engineering and Scientific Approach

by Marcus S. Fisher


ISBN 13: 9780387327259

Format: Hardcover (172 pages)
Publisher: Springer
Published: 20 Dec 2006

Save for later

 
New : $135.35  
New : $135.35
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers by Leslie Lamport

Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers

by Leslie Lamport


ISBN 13: 9780321143068

Format: Paperback (384 pages)
Publisher: Addison Wesley
Published: 19 Jul 2002

Save for later

 
New : $32.86  
New : $32.86