Code: 16771796
Formal Modeling and Analysis of Timed Systems
by Alessandro Abate, Gilles Geeraerts
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the ... more
- Language:
English - Binding: Paperback
- Number of pages: 353
Publisher: Springer International Publishing AG, 2017
- More about this
61.44 €
Low in stock at our supplier
Shipping in 13 - 16 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Poptropica English Level 4 Audio CD
54.37 € -
EARLY ORGANIZED CRIME IN DETRO
26.43 € -19 % -
Report of the Committee Appointed by the Conference of Counsel for Railroad Companies Held at Atlantic City, July 13, 14, 15, 1908.
16.03 € -19 % -
Prince or Chauffeur?
22.59 € -
Fifty Years of Prison Service: An Autobiography.
39.54 € -
Les Heros de la Decadence Nationale
20.57 € -
Bir Delinin Mal Beyani
10.08 €
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Modeling and Analysis of Timed Systems
You get 154 loyalty points
Book synopsis
This book constitutes the refereed proceedings of the 15th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2017, held in Berlin, Germany, in September 2017. The aim of FORMATS is to promote the study of fundamental and practical aspects of timed systems, and to bring together researchers from different disciplines that share interests in modelling and analysis of timed systems and, as a generalization, hybrid systems.
Book details
Book category Books in English Computing & information technology Computer science Human-computer interaction
61.44 €
- Full title: Formal Modeling and Analysis of Timed Systems
- Author: Alessandro Abate, Gilles Geeraerts
- Language: English
- Binding: Paperback
- Number of pages: 353
- EAN: 9783319657646
- ISBN: 331965764X
- ID: 16771796
- Publisher: Springer International Publishing AG
- Weight: 5504 g
- Dimensions: 235 × 155 × 22 mm
- Date of publishing: 03. August 2017
Trending among others
-
Don't Make Me Think, Revisited
40.75 € -10 % -
This is Service Design Doing
50.03 € -
Practical UX Design
45.80 € -
Quantifying the User Experience
47.71 € -11 % -
Interview Techniques for UX Practitioners
25.82 € -
Microinteractions: Full Color Edition
30.36 € -25 % -
Mobile Design Pattern Gallery 2e
44.69 € -19 % -
Accessibility Handbook
22.09 € -
Fixing Bad UX Designs
45.80 € -
Hands-On Data Analysis with NumPy and pandas
32.68 € -
SAP on the Cloud
61.44 € -
About Face - The Essentials of Interaction Design, 4e
53.36 € -11 % -
Rocket Surgery Made Easy
35 € -22 % -
UX Strategy
42.47 € -15 % -
Practical Tableau
65.77 € -1 % -
UX Book
95.64 € -1 % -
Mapping Experiences
46.20 € -17 % -
Bottlenecks
36.82 € -18 % -
Calm Technology
19.16 € -26 % -
UI UX Design
70.32 € -
Evil by Design - Interaction design to lead us into temptation
30.26 € -28 % -
Information Architecture, 4e
55.08 € -15 % -
Art of Borderlands 3
44.18 € -4 % -
Information Visualization
72.13 € -7 % -
Cognitive Biases in Visualizations
130.45 € -16 % -
Software Testing in the Cloud
61.54 € -
SAP on the Cloud
61.44 € -
Interaction Design: Beyond Human-Computer Interaction, Fifth Edition
85.95 € -
Designing with Data
35.71 € -29 % -
Complex Network Analysis in Python
29.15 € -28 % -
Tao of Microservices
55.89 € -
Forms that Work
56.80 € -4 % -
Designed for Use 2e
39.54 € -
Neural Circuits and Networks, 1
121.07 € -
Mobile User Experience
46.60 € -4 % -
OPC Unified Architecture
79.80 € -4 % -
Introduction to Parallel Processing
240.53 € -
Microsoft Power BI Cookbook
68.20 € -
Bootstrap
20.67 € -1 % -
Researching UX: User Research
33.89 € -4 % -
Designing Mobile Interfaces
40.75 € -19 % -
Universal UX Design
72.54 € -
Artificial Intelligence and Games
36.62 € -12 % -
Simple and Usable Web, Mobile, and Interaction Design
36.72 € -9 % -
Interactive Data Visualization for the Web
52.36 € -14 % -
Human-Computer Interaction
106.54 € -
UX for the Web
45.80 € -
Introducing Ethereum and Solidity
66.78 € -12 % -
Auditing and GRC Automation in SAP
247.09 € -19 %
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)