Code: 44230896

Formal Methods and Software Engineering

Name: Formal Methods and Software Engineering
Brand: Springer, Berlin
SKU: 44230896
Price: 67.18 EUR
Availability: InStock
Author: Yi Li
ISBN: 9789819975839

by Yi Li, Sofiène Tahar

Language: English
Binding: Paperback
Number of pages: 282
Publisher: Springer, Berlin, 2023
More about this

67.18 €

RRP: 72.80 €

You save 5.61 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

The Book of Lost Hours
21.78 € -24 %
Buy
Scam
8.60 € -24 %
Buy
Some Will Not Sleep
12.05 € -25 %
Buy
The End of the World as We Know It
41.03 €
Buy
OpenShift Multi-Cluster Management Handbook
43.67 € -2 %
Buy
K-popowe łowczynie demonów. Nieoficjalna księga zadań
8.10 € -18 %
Buy
52 Reasons Why I Love You: Lovely Valentines Day Gift for Him with 52 Reasons for Your Love, Fill in Empty Spaces
8 € -7 %
Buy
Third Revolution
24.52 € -24 %
Buy
History of Central Asia
9.01 € -6 %
Buy
New Andalucia and a Way to the Orient
36.27 €
Buy
Collaborative Design for Embedded Systems
51.78 € -7 %
Buy
Scottish Secondary Mathematics Red 3 Student Book
53.91 €
Buy
Décadence und Visualität in drei Romanen Paul Leppins: Daniel Jesus, Severins Gang in die Finsternis und Blaugast
28.97 € -4 %
Buy
Shifting Equilibria of European Financial Integration
50.05 € -3 %
Buy
The Snowshoe Trail (1921)
31 € -2 %
Buy
Thunder On the Sea: A Tim Phillips novel
10.63 € -7 %
Buy
Zebra 1
27.76 €
Buy
Massif des Bauges, Parc naturel régional
13.77 € -4 %
Buy
Labour-Market Flexibility and Individual Careers
103.16 € -7 %
Buy
Handbuch der Psychiatrie Band 6
93.53 € -12 %
Buy
Террор. Кому и зачем он нужен
20.97 € -12 %
Buy
En finir avec Pasteur 6e édition - Plus d'un siècle de mystification scientifique
36.58 €
Buy
Custo Barcelona (prov.)
17.32 € -10 %
Buy
Exotic Escape
14.79 € -25 %
Buy
Encyclopedia of Sexually Transmitted Diseases
75.09 €
Buy
My Weird School Daze #6: Mrs. Jafee Is Daffy!
5.87 € -25 %
Buy
Learning to be Literate
52.08 €
Buy
Early Concepts of Military Aviation
20.06 € -7 %
Buy
The Berenstain Bears' Seashore Treasure
14.68 € -24 %
Buy
The Entrepreneur's Trap: How to Stop Working Too Much, Take Back Your Time and Enjoy Life
18.33 € -7 %
Buy
Enlightenment Behind Bars
20.06 € -7 %
Buy
Stochastic Population Models
109.54 €
Buy
Coloring Book: Let's Cure Cancer Together
18.43 € -6 %
Buy
Advances in Medicine & Biology
267.54 € -10 %
Buy
Molly, by Golly!
13.47 € -24 %
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 162 loyalty points

Book synopsis

This book constitutes the proceedings of the 24th International Conference on Formal Methods and Software Engineering, ICFEM 2023, held in Brisbane, QLD, Australia, during November 21-24, 2023.The 13 full papers presented together with 8 doctoral symposium papers in this volume were carefully reviewed and selected from 34 submissions, the volume also contains one invited paper. The conference focuses on applying formal methods to practical applications and presents papers for research in all areas related to formal engineering methods.

Book details

Book category Knihy po anglicky Computing & information technology Computer science Mathematical theory of computation

67.18 €

Full title: Formal Methods and Software Engineering
Subtitle: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings
Author: Yi Li, Sofiène Tahar
Language: English
Binding: Paperback
Number of pages: 282
EAN: 9789819975839
ID: 44230896
Publisher: Springer, Berlin
Weight: 467 g
Dimensions: 235 × 155 mm
Date of publishing: 28. November 2023