Code: 21040880
Verification, Model Checking, and Abstract Interpretation
by Constantin Enea, Ruzica Piskac
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented ... more
- Language:
English - Binding: Paperback
- Number of pages: 602
Publisher: Springer Nature Switzerland AG, 2019
- More about this
51.54 €
RRP: 55.81 €
You save 4.27 €
In stock at our supplier
Shipping in 5 - 8 days
You might also like
-
Mushoku Tensei: Jobless Reincarnation (Light Novel) Vol. 12
11.89 € -29 % -
Istanbul
16.64 € -26 % -
Demon in the Wood
16.74 € -26 % -
Nomadland
8.97 € -
The Negroni
14.82 € -24 % -
One Piece Color Walk - Tome 09
30.66 € -
I Will Find You
26.12 € -
Kníhkupectvo nových začiatkov
19.36 € -22 % -
City of Dusk
19.86 € -19 % -
Football - The Ultimate Book
60.12 € -9 % -
Schleich Weißwedelkalb, Kunststoff-Figur
6.04 € -
Polednice Plešatá palice
9.37 € -23 % -
Varney the Vampire
14.01 € -7 % -
Blind Descent
15.73 € -20 % -
Gefühle Wimmelbuch
11.69 € -10 % -
Nibbles: The Very Hungry Book Monster
8.67 € -25 % -
Restless Souls
13.11 € -26 % -
Aurabel
10.08 € -24 % -
LEGO Arduino Cookbook
38.73 € -25 % -
Zermatt
19.56 € -
Advanced Python Programming
42.97 € -
What in the World? Look Again
13.11 € -26 % -
The Complete APA 7th Edition Guide
13 € -2 % -
Tirant lo Blanc (versió Palomero)
27.83 € -
FRE-SANS MASQUE
16.74 € -
Les Drapeaux du monde expliqués aux enfants
24.61 € -
Zukunftsforschung. Über die wissenschaftliche Untersuchung 'der Zukunft'
14.42 € -10 % -
Untersuchungen ber Das W lzreibungs- Und Abnutzungsverhalten Von Titan Und Titanlegierungen
76.87 € -7 % -
Vesper Chronicles, 1 Blu-ray
14.72 € -
Dragon Ball Serie Roja nº 282
5.14 € -
Actividades de animación para la tercera edad
34.69 € -
Cannabinoid Cookbook
27.03 € -9 % -
Environmental Policymaking in an Era of Climate Change
58.81 € -
Á Fer? Og Flugi: Kv??abálkur
15.63 € -2 % -
The Tragedy of Coriolanus: A Play
8.06 € -7 % -
Concrete Roses
14.01 € -6 % -
Cambridge Primary World English Learner's Book Stage 1
20.87 € -9 % -
Parc National De Port-Cros
16.43 € -
History and Analysis of the Common law of England. Written by a Learned Hand
31.77 € -2 % -
Schule für kleine Trommel
35.91 € -3 % -
Derecho ambiental : los desafíos del cambio global : ocho cuestiones clave
23.19 € -
Mandy
5.64 € -
Le cahier d'Angèle - Petits carreaux, 96p, A5 - Petits c urs
10.78 € -
Transferencia de calor en un sistema solar de calentamiento de aire
31.97 € -14 % -
BahamaMan Meets Waste-A-Tron
14.01 € -7 % -
Confessions Of A Hollywood Voice & Speech Coach
12.30 € -7 % -
The Quest of the Four: A Story of the Comanches and Buena Vista
13.91 € -6 % -
A Short History Of England (1917)
27.33 € -2 % -
Contact and Conflict in English Studies
58.50 € -9 % -
Contratiempos
15.12 € -
Correspondances D'Alger 1962
62.94 € -
Tek Allah, Tek Din, Tek Kitap
12.10 € -5 % -
Rekonstruktion und Erschliessung mittelalterlicher Bibliotheken
83.42 € -25 % -
WENSLEY-DALE; OR, RURAL CONTEMPLATIONS:
29.15 € -1 % -
Wie erreiche ich wen - in allen deutschen Häfen 2014, 1 CD-ROM
124.28 € -
Children, Social Science, and the Law
68.39 €
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 Verification, Model Checking, and Abstract Interpretation
You get 125 loyalty points
Book synopsis
This book constitutes the refereed proceedings of the 20th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2019, held in Cascais, Portugal, in January 2019.The 27 full papers presented together with the abstract
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
51.54 €
- Full title: Verification, Model Checking, and Abstract Interpretation
- Author: Constantin Enea, Ruzica Piskac
- Language: English
- Binding: Paperback
- Number of pages: 602
- EAN: 9783030112448
- ISBN: 3030112446
- ID: 21040880
- Publisher: Springer Nature Switzerland AG
- Weight: 937 g
- Dimensions: 235 × 155 × 235 mm
- Date of publishing: 11. January 2019
Trending among others
-
Clean Architecture
29.95 € -14 % -
Implementing Domain-Driven Design
52.65 € -14 % -
Cracking the Coding Interview
46.09 € -18 % -
More Agile Testing
42.77 € -14 % -
Agile Testing
48.42 € -14 % -
The Mythical Man-Month
35.40 € -14 % -
Domain-Driven Design Distilled
30.66 € -19 % -
Software Engineering at Google
46.30 € -25 % -
Refactoring
53.36 € -4 % -
Peopleware
37.12 € -14 % -
Patterns of Enterprise Application Architecture
57.09 € -14 % -
Pro Git
51.04 € -
User Stories Applied
43.77 € -14 % -
Clean Code
50.74 € -14 % -
Software Requirements
35.50 € -24 % -
User Story Mapping
39.13 € -
Mastering Regular Expressions 3e
42.46 € -24 % -
Exploratory Software Testing
38.33 € -14 % -
DevOps For Dummies
21.58 € -29 % -
Documenting Software Architectures
67.89 € -14 % -
Programming Elixir 1.6
43.98 € -19 % -
Ida Pro Book, 2nd Edition
70.51 € -9 % -
Forecasting Oracle Performance
43.67 € -9 % -
Mikado Method
49.53 € -
Escape Velocity
18.55 € -24 % -
Apprenticeship Patterns
29.75 € -
Working Effectively with Legacy Code
52.65 € -14 % -
The Clean Coder
37.12 € -14 % -
Test Driven Development
40.24 € -14 % -
Continuous Delivery
48.62 € -14 % -
Software Architect Elevator
46.30 € -25 % -
Expert Test Manager
35.30 € -25 % -
OCUP 2 Certification Guide
57.60 € -
Advanced Software Testing - Vol. 1, 2nd Edition
38.73 € -25 % -
Requirements Engineering Fundamentals
28.44 € -25 % -
Data Mesh
55.98 € -25 % -
Talking with Tech Leads
22.59 € -6 % -
Agile Samurai
33.18 € -19 % -
Storytelling in Design
40.04 € -24 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
31.97 € -24 % -
Real-Time Collision Detection
140.02 € -
Beyond Software Architecture
64.96 € -
Clean Agile
36.11 € -18 % -
Lessons Learned in Software Testing - A Context- Driven Approach
39.94 € -10 % -
Advanced Software Testing V 2. 2e
55.78 € -
Design It! : Pragmatic Programmers
38.73 € -20 % -
Advanced Software Testing
58.40 € -
Righting Software
54.07 € -
Head First Objects-Oriented Analysis and Design
49.12 € -24 %
Shopping guide
Books by language
Collection points Bratislava a 12900 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
25804 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)