Tag: modal logic - flazx.us

Updates

Latest Tweet

Flazx

What's New?

Check out for latest innovation, a computer based training video collection

Like this Page

modal logic

Home / Tags / modal logic /

Showing 2012 and older publications, page 1 of 2 First Page Next Page Last Page

DTrace: Dynamic Tracing in Oracle Solaris, Mac OS X and FreeBSD (Oracle Solaris Series)

April 2011

Matplotlib for Python Developers

November 2009

Real-Time Systems: Formal Specification and Automatic Verification

October 2008

Blender 3D Architecture, Buildings, and Scenery: Create photorealistic 3D architectural visualizations of buildings, interiors, and environmental scenery

May 2008

Dynamic Epistemic Logic (Synthese Library)

June 2007

Cryptography: Theory and Practice, Third Edition (Discrete Mathematics and Its Applications)

November 2005

A Practical Theory of Reactive Systems: Incremental Modeling of Dynamic Behaviors (Texts in Theoretical Computer Science. An EATCS Series)

May 2005

Systems and Software Verification: Model-Checking Techniques and Tools

August 2001

Epistemic Logic for AI and Computer Science

November 1995

Cryptography: Theory and Practice (Discrete Mathematics and Its Applications)

May 1995

Publication by Year

Copyright 2010-2011. All rights reserved.