Model-checking infinite state systems for information flow security - Image 1

£63.00

LAP Lambert Academic Publishing Model-checking infinite state systems for information flow security

Name: Model-checking infinite state systems for information flow security
Brand: LAP Lambert Academic Publishing
Price: 63.0 GBP
Availability: InStock

Computing & Internet

Price data last checked 92 day(s) ago - refreshing...

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

It has never been this cheap. We have no record of a lower price.

£63 today · cheaper than every other day in the last 24 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 639 days • 639 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 639 days • 1 price levels

Days at Price

Price Analysis

Most common price: £63 (639 days, 100.0%)

Price range: £63 - £63

Price levels: 1 different prices over 639 days

Product Specifications

Brand: LAP Lambert Academic Publishing
Format: paperback
ASIN: 3659301310
Category: Books > Subjects > Computing & Internet
Domain: Amazon UK
Publication Date: 02 April 2014
Listed Since: 26 April 2014

Barcode

No barcode data available

LAP Lambert Academic Publishing Model-checking infinite state systems for information flow security

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Product Specifications

Barcode

Similar Products You Might Like

Statistical Multiplexing and Connection Admission Control

Security Protocols Analysis: The Interpretation Functions-Based Method

Model-Based Secure Software Development with Modularity, Reusability: A Model-Driven Security Approach

Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs

Cost-Effective Verification of Concurrent Safety-Critical Systems: The Compliance Notation Approach

A Formal Framework for Run-Time Verification of Web Applications: An Approach Supported by Scope Extended Linear Temporal Logic

A Framework for Adaptive Information Security Systems: A holistic investigation

ICT Security Readiness Checklist for Developing Countries: A Social Technical Approach to ICT Security Controls

On the Physical Security of Cryptographic Implementations

Security Protocols: Verification and Design Automation

Secure Protocols for Location, Adjacency, and Identity Verification: Cross Layer Techniques

Information Systems and Technologies: Creation and Management of Intelligent-Information and Web Application Projects

An Information Security Model for E-Government Adoption in Uganda: The role of Information Security in E-government Services Adoption

Security Theory: Using AI to Counter Crime

Inconsistency Management in Software Functional Requirements: A Machine Learning System

Uncertainty and Indistinguishability: Application to Modelling with Words

Non-Markovian system Models: Approaches to Analysis and Simplification

MultiParadigm Foundation for Model Transformation Language Engineering

Campus-Based Internet Financial Education And Informationization

Basic Concepts of Information Security: A handbook

Kontseptualizatsiya informatsionnogo menedzhmenta v kontekste modernizatsii

Security Concepts

Digital Devices Security Tools and Technologies for CyberSecurity: Empowering CyberSecurity

Analyzing Opportunities for Developing an Information Systems