Theoretical Aspects of Computing - ICTAC 2012
Editat de Abhik Roychoudhury, Meenakshi D´Souzaen Limba Engleză Paperback – 7 aug 2012
Preț: 412.76 lei
Preț vechi: 515.95 lei
-20% Nou
Puncte Express: 619
Preț estimativ în valută:
73.04€ • 85.18$ • 64.13£
73.04€ • 85.18$ • 64.13£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642329425
ISBN-10: 364232942X
Pagini: 272
Ilustrații: XII, 259 p. 74 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 364232942X
Pagini: 272
Ilustrații: XII, 259 p. 74 illus.
Dimensiuni: 155 x 235 x 15 mm
Greutate: 0.42 kg
Ediția:2012
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
Rocket Surgery Made EasySteve Krug-20%Preț: 204.75 lei255.93 lei -
-20%Preț: 287.20 lei359.01 lei -
Designing for the Digital AgeKim Goodwin-20%Preț: 435.03 lei543.79 lei -
Game Analytics: Maximizing the Value of Player DataMagy Seif El-Nasr-20%Preț: 759.71 lei949.63 lei -
Designed for Use 2eLukas Mathis-20%Preț: 216.69 lei270.87 lei -
Introduction to Information VisualizationRiccardo Mazza-20%Preț: 369.35 lei461.69 lei -
(Re)Searching the Digital BauhausThomas Binder-20%Preț: 960.21 lei1200.25 lei -
-20%Preț: 329.35 lei411.69 lei -
-20%Preț: 315.48 lei394.35 lei -
-20%Preț: 640.00 lei800.01 lei -
Hybrid Artificial Intelligent SystemsJeng-Shyang Pan-20%Preț: 342.20 lei427.75 lei
Public țintă
ResearchCuprins
Symbolically Bounding the Drift in Time-Constrained MSC Graphs.- A Compositional Hierarchical Monitoring Automaton Construction for LTL.- How to Translate Efficiently Extensions of Temporal Logics
into Alternating Automata.- Correctness of Object Oriented Models by Extended Type Inference.- Non-termination Sets of Simple Linear Loops.- Definite Expression Aliasing Analysis for Java Bytecode.- Using Semantics Specified in Maude to Generate Test Cases.- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.- Modal Process Rewrite Systems.- S-Narrowing for Constructor Systems.- Data Privacy Using MASKETEERTM .- For Industry Day A Conformance Checker Tool CSPConCheck.- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.- A Cure for Stuttering Parity Games.- Ensuring Reachability by Design.- Approximate Verification and Enumeration Problems.- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
into Alternating Automata.- Correctness of Object Oriented Models by Extended Type Inference.- Non-termination Sets of Simple Linear Loops.- Definite Expression Aliasing Analysis for Java Bytecode.- Using Semantics Specified in Maude to Generate Test Cases.- A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation.- Modal Process Rewrite Systems.- S-Narrowing for Constructor Systems.- Data Privacy Using MASKETEERTM .- For Industry Day A Conformance Checker Tool CSPConCheck.- SmartTestGen+: A Test Suite Booster for Enhanced Structural Coverage.- Model Checking under Fairness in ProB and Its Application to Fair Exchange Protocols.- Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.- A Cure for Stuttering Parity Games.- Ensuring Reachability by Design.- Approximate Verification and Enumeration Problems.- Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
Caracteristici
Fast-track conference proceedings State-of-the-art research Up-to-date results