Title: Z: An Introduction to Formal Methods / Edition 2, Author: Antoni Diller
Title: XSLT 2.0 and XPath 2.0 Programmer's Reference / Edition 4, Author: Michael Kay
Title: Visual Languages for Interactive Computing: Definitions and Formalizations, Author: Fernando Ferri
Title: Visual Languages and Applications / Edition 1, Author: Kang Zhang
Title: VHDL-2008: Just the New Stuff, Author: Peter J. Ashenden
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: Understanding Control Flow: Concurrent Programming Using ?C++, Author: Peter A. Buhr
Title: Uml: A Beginner's Guide / Edition 1, Author: Jason T. Roff
Title: UML Xtra-Light: How to Specify your Software Requirements / Edition 1, Author: Milan Kratochvil
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 Distilled: A Brief Guide to the Standard Object Modeling Language / Edition 3, Author: Martin Fowler
Title: UML by Example / Edition 1, Author: Ghinwa Jalloul
Title: UML by Example, Author: Ghinwa Jalloul
Title: UML Applied: A .NET Perspective / Edition 1, Author: Martin L. Shoemaker
Title: Type Theory and Formal Proof: An Introduction, Author: Rob Nederpelt
Title: Turtles, Termites, and Traffic Jams: Explorations in Massively Parallel Microworlds / Edition 1, Author: Mitchel Resnick
Title: Trustworthy Compilers / Edition 1, Author: Vladimir O. Safonov
Title: Tried and True Object Development: Industry-Proven Approaches with UML, Author: Ari Jaaksi

Pagination Links