Principles of the Spin Model Checker المزيد من الكتب المشابهة

Practical Aspects of Declarative Languages

٢٠١١

Runtime Verification

٢٠٠٨

Engineering a Compiler (Enhanced Edition)

٢٠٠٣

Advanced Lectures on Software Engineering

٢٠١٠

The Designer's Guide to VHDL

٢٠٠١

Pascal for Students (including Turbo Pascal)

١٩٩٥

Formal Refinement for Operating System Kernels

٢٠٠٧

Modern Compiler Implementation in Java

٢٠٠٢

Practical Concurrent Haskell

٢٠١٧

Software Verification and Analysis

٢٠٠٩

Practical Aspects of Declarative Languages

٢٠٠٦

A Practical Introduction to Computer Architecture

٢٠٠٩

Practical Aspects of Declarative Languages

٢٠١٠

Practical Aspects of Declarative Languages

٢٠٠٩

Model Checking Boolean Programs

٢٠١١