Code: 24640083

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer Nature Switzerland AG
SKU: 24640083
Price: 55.93 EUR
Availability: InStock
Author: Yamine Ait-Ameur
ISBN: 9783030324087

by Yamine Ait-Ameur, Shengchao Qin

Language: English
Binding: Paperback
Number of pages: 528
Publisher: Springer Nature Switzerland AG, 2019
More about this

55.93 €

Low in stock at our supplier
Shipping in 11 - 15 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

Blood Hunt: Red Band
24.72 € -28 %
Buy
Jízda v levém pruhu
9.01 € -18 %
Buy
Mayo Clinic Gastroenterology and Hepatology Board Review 6th Edition
136.71 €
Buy
Zamknięte drzwi
10.23 € -13 %
Buy
WOLFS DAUGHTER A WEREWOLFS TALE V01
10.63 € -25 %
Buy
Kleine Katze Chi. Bd.11
10.33 € -15 %
Buy
Cambridge Checkpoint Mathematics Coursebook 9
36.07 €
Pre-order
Tomie Deluxe
34.75 € -9 %
Buy
Fiend
9.72 € -29 %
Buy
Human Behavior and the Principle of Least Effort
29.48 €
Buy
75 Ways to Be a Better Teacher Tomorrow
26.75 € -18 %
Buy
Karel Kramář – 150 let od narození - Sborník textů
5.77 € -15 %
Buy
Antike II
44.99 € -5 %
Pre-order
Handbook of Modern Sensors
138.83 €
Buy
Appointment
13.98 € -24 %
Buy
Poison Ivy: Metamorphose
16.51 € -14 %
Buy
Biene und die Bienenzucht im Altertume
33.94 € -4 %
Buy
HOR MOSAIC : OR, A DISSERTATION ON THE
37.39 € -1 %
Buy
Community Fieldwork in Teacher Education
235.01 €
Buy
Temperate Chile. a Progressive Spain. [With a Map.]
25.73 € -24 %
Buy
18 Ways To Tell Kids That Their Parents Died
10.63 € -6 %
Buy
Small Wonder
7.89 € -25 %
Buy
Learning to Be: Finding Your Center After the Bottom Falls Out
14.79 € -25 %
Buy
The book of Tea
20.06 € -7 %
Buy
Healthcare Transformation
258.32 €
Buy
Handbook Of Christian Ethics
31.91 € -2 %
Buy
Management of Micro and Nano-plastics in Soil and Biosolids
160.12 €
Buy
MARISOL VIOLON
26.75 €
Buy
Blicki blickt's
10.33 € -9 %
Buy
On Desert Sands: Alone: Book 6
9.72 € -7 %
Buy
Refactoring for Software Design Smells
75.09 €
Buy
WTO and Food Security
129 €
Buy
To the Right of the Rising Light
10.33 € -1 %
Buy
FOUNDATION STUDIES FOR THE VIOLA, BOOK 2 ALTO
37.99 €
Buy
A Spiritual Travel Guide to the World of God: Part I: Packing for the Journey
13.27 € -6 %
Buy
Folly Morrison. a Novel.
21.58 € -24 %
Buy
Manual for Teachers: Musical Dictation - Study of Tone and Rhythm
23.81 € -2 %
Buy
Queer Wales
25.22 € -10 %
Buy
Loved By An "ANGEL"
26.04 €
Buy
PREVISIONE DEI BAMBINI SCOMPARSI MEDIANTE ALGORITMI DI APPRENDIMENTO AUTOMATICO
44.99 € -3 %
Buy
Sufficient Grace
17.12 € -2 %
Buy
Thinking and the Sense of Life
36.27 €
Buy
Lectures on Socialism, Etc.
17.32 € -2 %
Buy
Ripples and the Tapestries
18.43 €
Buy
Legendary Locals of the Long Beach Peninsula
19.65 € -21 %
Buy
Medical Image Computing and Computer Assisted Intervention - MICCAI 2020
109.54 €
Buy
If Eyes Could See What the Heart Feels
8.60 € -24 %
Buy
tasse invisibili. L'inganno di stato che toglie a tutti per dare a pochi
19.45 €
Buy
Better Available Light Digital Photography
238.15 €
Buy
The "PIE" Framework: A New Perspective on Teaching and Learning
20.06 € -7 %
Buy
These Rocks Count!
30.90 € -9 %
Buy
Thurgood Marshall
12.86 € -25 %
Pre-order
Précis de calcul mental pour le pilote - 2e édition
25.33 €
Buy
Radiation and Health
214.94 €
Buy
Introducción a la lógica y al método científico, Vol. II
16.91 €
Buy
Korean Genealogy Guide: A resource to help English speakers discover Korean ancestors...
9.82 € -6 %
Buy
The Jungle book
13.67 € -6 %
Buy
Die Magie der Erinnerung - Das Schwert der Wahrheit
12.66 € -10 %
Buy
Trésors des racines grecques et latines
28.67 €
Buy
Didaktische Konsequenzen aus einer Unterrichts- und Ergebnisanalyse fur das Arbeiten mit dynamischer Geometriesoftware
42.86 € -11 %
Buy
SPA-MONJA Y CASADA VIRGEN Y MA
39.21 € -1 %
Buy
Nasaan ang Pusa: A Filipino word & picture book
8.10 € -7 %
Buy
Tratado de podología y arte de herrar
32.32 €
Buy

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.

Book gift voucher sample Read more

More about Formal Methods and Software Engineering

Book details
Synopsis
Trending among others

You get 135 loyalty points

Book synopsis

This book constitutes the proceedings of the 21st International Conference on Formal Engineering Methods, ICFEM 2019, held in Shenzhen, China, in November 2019. The 28 full and 8 short papers presented in this volume were carefully reviewed and selected from 94 submissions. They deal with the recent progress in the use and development of formal engineering methods for software and system design and record the latest development in formal engineering methods.

Book details

Book category Books in English Computing & information technology Computer programming / software development Software Engineering

55.93 €

Full title: Formal Methods and Software Engineering
Subtitle: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5-9, 2019, Proceedings
Author: Yamine Ait-Ameur, Shengchao Qin
Language: English
Binding: Paperback
Number of pages: 528
EAN: 9783030324087
ID: 24640083
Publisher: Springer Nature Switzerland AG
Weight: 836 g
Dimensions: 235 × 155 × 30 mm
Date of publishing: 06. October 2019