Catalog > Science > Mathématiques > Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

Wojciech Penczek & Agata Polrola
Advances in Verification of Time Petri Nets and Timed Automata [PDF ebook]
A Temporal Logic Approach

Support

Couverture du Wojciech Penczek & Agata Polrola: Advances in Verification of Time Petri Nets and Timed Automata (PDF)

€165.39

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format PDF ● ISBN 9783540328704 ● Maison d’édition Springer Berlin Heidelberg ● Publié 2007 ● Téléchargeable 6 fois ● Devise EUR ● ID 6316782 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Wojciech Penczek Agata Polrola

48 721 Ebooks dans cette catégorie

Couverture du Bart K. (Associate Professor of Biostatistics and Epidemiology, New Jersey Medical School) Holland: What Are the Chances?

Bart K. (Associate Professor of Biostatistics and Epidemiology, New Jersey Medical School) Holland: What Are the Chances?

An “enjoyable [and] painlessly instructive” guide to probability, full of examples drawn from daily life and history (The Skeptic). Our lives are governed by chance. But what, exactly, is chance? In …

Couverture du Giovanni Dore: Differential Equations in Banach Spaces

Giovanni Dore: Differential Equations in Banach Spaces

This reference – based on the Conference on Differential Equations, held in Bologna – provides information on current research in parabolic and hyperbolic differential equations. Presenting methods a …

Couverture du Binay Kanti Dutta: Mathematical Methods in Chemical and Biological Engineering

Binay Kanti Dutta: Mathematical Methods in Chemical and Biological Engineering

Mathematical Methods in Chemical and Biological Engineering describes basic to moderately advanced mathematical techniques useful for shaping the model-based analysis of chemical and biological engin …

Couverture du Sasun Yakubov: Completeness of Root Functions of Regular Differential Operators

Sasun Yakubov: Completeness of Root Functions of Regular Differential Operators

The precise mathematical investigation of various natural phenomena is an old and difficult problem. This book is the first to deal systematically with the general non-selfadjoint problems in mechani …

Couverture du Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

Oleksandr Nakonechnyi & Yuri Podlipenko: Guaranteed Estimation Problems in the Theory of Linear Ordinary Differential Equations with Uncertain Data

This monograph is devoted to the construction of optimal estimates of values of linear functionals on solutions to Cauchy and two-point boundary value problems for systems of linear first-order ordin …

Couverture du Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

Paul-Jean Cahen & Douglas L. Costa: Commutative Ring Theory

‘ Exploring commutative algebra »s connections with and applications to topological algebra and algebraic geometry, Commutative Ring Theory covers the spectra of rings chain conditions, dimension the …

Couverture du Bor-Sen (National Tsing Hua University, Taiwan) Chen: Multi-Objective Optimization System Designs and Their Applications

Bor-Sen (National Tsing Hua University, Taiwan) Chen: Multi-Objective Optimization System Designs and Their Applications

This book introduces multi-objective design methods to solve multi-objective optimization problems (MOPs) of linear/nonlinear dynamic systems under intrinsic random fluctuation and external disturban …

Couverture du Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Ahmed I. (DePaul University, Chicago, Illinois, USA) Zayed: Fractional Integral Transforms

Fractional Integral Transforms: Theory and Applications presents over twenty-five integral transforms, many of which have never before been collected in one single volume. Some transforms are classic …

Couverture du Watson: Parabolic Equations on an Infinite Strip

Watson: Parabolic Equations on an Infinite Strip

This book focuses on solutions of second order, linear, parabolic, partial differentialequations on an infinite strip-emphasizing their integral representation, their initialvalues in several senses, …

Couverture du Andrei D. Polyanin & Valentin F. (Russian State Pedagogical University, St. Petersburg) Zaitsev: Handbook of Ordinary Differential Equations

Andrei D. Polyanin & Valentin F. (Russian State Pedagogical University, St. Petersburg) Zaitsev: Handbook of Ordinary Differential Equations

The Handbook of Ordinary Differential Equations: Exact Solutions, Methods, and Problems, is an exceptional and complete reference for scientists and engineers as it contains over 7, 000 ordinary diff …

Page suivante >>>