Title: Verification of Systems and Circuits Using LOTOS, Petri Nets, and CCS / Edition 1, Author: Michael Yoeli
Title: Verification and Validation for Quality of UML 2.0 Models / Edition 1, Author: Bhuvan Unhelkar
Title: VC++ MFC Extensions by Example / Edition 1, Author: John Swanke
Title: Value-Range Analysis of C Programs: Towards Proving the Absence of Buffer Overflow Vulnerabilities / Edition 1, Author: Axel Simon
Title: Using WAVES and VHDL for Effective Design and Testing: A practical and useful tutorial and application guide for the Waveform and Vector Exchange Specification (WAVES) / Edition 1, Author: James P. Hanna
Title: UNIX and Perl to the Rescue!: A Field Guide for the Life Sciences (and Other Data-rich Pursuits), Author: Keith Bradnam
Title: Understanding Macromedia Flash 8 ActionScript 2: Basic techniques for creatives, Author: Andrew Rapo
Title: Understanding C++ for MFC, Author: Richard Raposa
Title: Understanding and Applying Basic Statistical Methods Using R / Edition 1, Author: Rand R. Wilcox
Title: Uncertainty Analysis of Experimental Data with R / Edition 1, Author: Benjamin David Shaw
Title: UML for Systems Engineering: Watching the wheels / Edition 2, Author: Jon Holt
Title: UML for SOC Design / Edition 1, Author: Grant Martin
Title: UML for Real: Design of Embedded Real-Time Systems / Edition 1, Author: Luciano Lavagno
Title: UML Diagramming: A Case Study Approach, Author: Suriya Sundaramoorthy
Title: UML by Example, Author: Ghinwa Jalloul
Title: TypeScript for Beginners: The Ultimate Guide, Author: Sufyan bin Uzayr
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Two-Level Functional Languages, Author: Flemming Nielson
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
Title: Troubleshooting Oracle Performance / Edition 1, Author: Christian Antognini

Pagination Links