Home

Verifying Concurrent Processes Using Temporal Logic

Barnes and Noble

Verifying Concurrent Processes Using Temporal Logic

$54.99

Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

Barnes and Noble

Verifying Concurrent Processes Using Temporal Logic

$54.99

Size: OS

Loading Inventory...

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

You May Also Like

Verifying Concurrent Processes Using Temporal Logic

Loading Inventory...

Verifying Concurrent Processes Using Temporal Logic

Compositional Verification of Concurrent and Real-Time Systems

Loading Inventory...

Compositional Verification of Concurrent and Real-Time Systems

Verification of Sequential and Concurrent Programs

Loading Inventory...

Verification of Sequential and Concurrent Programs

Verification of Sequential and Concurrent Programs / Edition 3

Loading Inventory...

Verification of Sequential and Concurrent Programs / Edition 3

Logics and Models of Concurrent Systems

Loading Inventory...

Logics and Models of Concurrent Systems

Logic Synthesis and Verification

Loading Inventory...

Logic Synthesis and Verification

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship / Edition 1

Loading Inventory...

Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes, and Their Relationship / Edition 1

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Loading Inventory...

Verification of Data-Aware Processes via Satisfiability Modulo Theories

Temporal Logics in Computer Science: Finite-State Systems

Loading Inventory...

Temporal Logics in Computer Science: Finite-State Systems

Cereals: Novel Uses and Processes / Edition 1

Loading Inventory...

Cereals: Novel Uses and Processes / Edition 1

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Loading Inventory...

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

How to Win Every Argument: The Use and Abuse of Logic / Edition 2

Loading Inventory...

How to Win Every Argument: The Use and Abuse of Logic / Edition 2

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

Men

Women

baby abd kids.jpg

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info