Code: 09277583
FM 2015: Formal Methods
by Nikolaj Bj?rner, Frank de Boer
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selecte ... more
- Language:
English - Binding: Paperback
- Number of pages: 610
Publisher: Springer International Publishing AG, 2015
- More about this
70.87 €
Low in stock at our supplier
Shipping in 12 - 17 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
-
Writer's Roadmap
17.91 € -
Happily Ever After
15.66 € -3 % -
Silent Scream
26.21 € -
Fallows
34.71 € -
Little
29.80 € -
Technology in Retrospect
75.38 € -
Jagdverhalten bei Hunden
15.76 € -4 %
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 FM 2015: Formal Methods
You get 175 loyalty points
Book synopsis
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.
Book details
Book category Knihy po anglicky Computing & information technology Computer science Human-computer interaction
70.87 €
- Full title: FM 2015: Formal Methods
- Subtitle: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
- Author: Nikolaj Bj?rner, Frank de Boer
- Language: English
- Binding: Paperback
- Number of pages: 610
- EAN: 9783319192482
- ISBN: 3319192485
- ID: 09277583
- Publisher: Springer International Publishing AG
- Weight: 9358 g
- Dimensions: 235 × 155 × 235 mm
- Date of publishing: 20. May 2015
Trending among others
-
Don't Make Me Think, Revisited
40.86 € -11 % -
This is Service Design Doing
50.18 € -2 % -
About Face - The Essentials of Interaction Design, 4e
53.56 € -12 % -
Practical UX Design
53.25 € -
Rocket Surgery Made Easy
37.38 € -19 % -
Mapping Experiences
46.29 € -19 % -
Quantifying the User Experience
50.28 € -6 % -
Calm Technology
20.89 € -20 % -
Forms that Work
66.77 € -
Bootstrap
22.93 € -
Microinteractions: Full Color Edition
32.66 € -20 % -
Simple and Usable Web, Mobile, and Interaction Design
35.23 € -5 % -
UX Strategy
42.50 € -17 % -
Practical Tableau
66.06 € -2 % -
UX Book
94.63 € -
Bottlenecks
44.24 € -4 % -
UI UX Design
71.89 € -
Information Architecture, 4e
55.30 € -16 % -
Evil by Design - Interaction design to lead us into temptation
32.66 € -20 % -
Interview Techniques for UX Practitioners
29.39 € -
Art of Borderlands 3
44.24 € -4 % -
Cognitive Biases in Visualizations
132.43 € -16 % -
Information Visualization
73.23 € -6 % -
Interaction Design: Beyond Human-Computer Interaction, Fifth Edition
98.01 € -
Designing with Data
40.55 € -20 % -
Complex Network Analysis in Python
40.04 € -
Tao of Microservices
59.60 € -
Data Structures & Algorithms Interview Questions You'll Most Likely Be Asked
40.55 € -4 % -
Designed for Use 2e
42.29 € -
Mobile User Experience
49.77 € -
Neural Circuits and Networks, 1
139.60 € -
OPC Unified Architecture
89.51 € -
Introduction to Parallel Processing
277.26 € -
Microsoft Power BI Cookbook
68.92 € -
Researching UX: User Research
37.17 € -
Designing Mobile Interfaces
48.23 € -5 % -
Universal UX Design
74.97 € -
Augmented Reality in public spaces. Basic Techniques for video mapping
44.85 € -
Introducing Ethereum and Solidity
71.69 € -8 % -
Artificial Intelligence and Games
43.62 € -
Human-Computer Interaction
113.58 € -
UX for the Web
53.25 € -
RxJava for Android Developers
33.28 € -35 % -
Modular Design Frameworks
40.35 € -
Auditing and GRC Automation in SAP
247.66 € -6 % -
Tragic Design
32.66 € -20 % -
Security of Industrial Control Systems and Cyber Physical Systems
70.87 € -
Usable Usability - Simple Steps for Making Stuff Better
38.50 € -6 % -
Guide to TCP/IP
117.17 €
Osobný odber Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
21 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)