Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods and Software Engineering

24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21-24, 2023, Proceedings

Language EnglishEnglish
E-book Adobe ePub DRM
Publishers Springer, November 2023
This book constitutes the proceedings of the 24th International Conference on Formal Methods and Sof... Full description
? points 179 b
27 028 Ft
In stock Immediate digital delivery

Customers also purchased

Atlan 48: Die Insel des dunklen Mondes Hans Kneifel / E-book Adobe ePub DRM
common.buy 605 Ft
Dániel Péter Biró: Ethica / Audio Audio CD
common.buy 9 505 Ft
Cuentos de Velorio Javier Herrera Palma / Book Paperback
common.buy 6 132 Ft
Licht - Metapher der Erkenntnis Maria Nuhlen / E-book Adobe ePub DRM
common.buy 14 731 Ft
Sport in der totalen Institution - eine Gefangnisethnographie Johannes Muller / E-book Adobe ePub DRM
common.buy 22 116 Ft
LA PIETRA RIFIUTATA S. G Treasure / Book Paperback
common.buy 5 107 Ft
Homem-Urso Escoces: Um Negocio Perigoso Lorelei Moone / E-book Adobe ePub DRM
common.buy 996 Ft
JUGAR CON FUEGO + CD PINILLA Book Book
common.buy 4 969 Ft
Verben mit Prapositionen B2-C1 Deutsch als Fremdsprache Illya Kozyrev / Book Paperback
common.buy 5 074 Ft
Système solaire et planètes Levasseur-Regourd / Book Paperback
common.buy 12 930 Ft
Bible Interpretation, Student Workbook Subtitle Capstone Module 5, Romanian Mihaela Fren? / Book Paperback
common.buy 19 186 Ft
Oeuvres Completes de L'Abb Proyart Lievain Bonaventure Proyart / Book Paperback
common.buy 10 229 Ft
Mucho Más Que Un Club de Chicas (El Club de Los Corazones Solitarios #2) / We Can Work It Out (the Lonely Hearts Club, Book 2) Elizabeth Eulberg / Book Paperback
common.buy 6 089 Ft
VIVI Felice-Cembalosonaten Diego Ares / Audio Audio CD
common.buy 9 943 Ft
Chemin Faisant...La Vie Nicole Bandelier / Book Paperback
common.buy 9 533 Ft
Mes Memoires. T. 7 (Ed.1863-1884) Alexandre Dumas / Book Paperback
common.buy 9 247 Ft
Auswirkungen des demographischen Wandels auf die Gesetzliche Krankenversicherung Natalie Philips / Book Paperback
common.buy 6 465 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Formal Methods and Software Engineering
Author Yi Li, Sofiene Tahar
Language English
Binding E-book - Adobe ePub DRM
Date of issue 2023
EAN 9789819975846
Libristo code 45081938
Publishers Springer

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Natural language & machine translation
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Information technology: general issues
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Business Ethics and Critical Consultant Jokes Onno Bouwmeester / E-book Adobe ePub DRM
common.buy 1 615 Ft
Rigour and Reason: Essays in Honour of Hans Vilhelm Hansen J. Anthony Blair / Book Paperback
common.buy 5 970 Ft
Cruising the Worcester & Birmingham Canal (with one eye on its history) Mr John Todd / Book Paperback
common.buy 4 607 Ft
Religious Devotion and the Poetics of Reform Pati / Book Hardback
common.buy 95 648 Ft
Our Solar System! a Stellar Neighborhood Stevie Lewis / Book Hardback
common.buy 6 041 Ft
Looking Back, Facing Forward EDNA HARDAMAN / Book Hardback
common.buy 9 924 Ft
Cooperative Control of Multi-Agent Systems Chunyan Wang / Book Paperback
common.buy 79 817 Ft
Inspire English International Year 8 Teacher Guide David Grant / Book Spiral bound
common.buy 42 407 Ft
Pheasants: Their Natural History And Practical Management William Bernhard Tegetmeier / Book Paperback
common.buy 12 087 Ft
Kids Cooking: Students Prepare and Eat Foods from Around the World George Ancona / Book Hardback
common.buy 5 331 Ft
Come Out of the Kitchen! Alice Duer Miller / Audiobook MP3
common.buy 18 524 Ft
The Low–Carbon Contradiction – Energy Transition, Geopolitics, and the Infrastructural State in Cuba Gustav Cederlöf / Book Paperback
common.buy 11 935 Ft
EBOOK: The Pocketbook Guide to Mental Capacity Act Assessments Claire Barcham / E-book Adobe ePub DRM
common.buy 12 768 Ft
Love Hurts Lodro Rinzler / E-book Adobe ePub DRM
common.buy 4 488 Ft
Festivals and the Cultural Public Sphere Gerard Delanty / E-book Adobe ePub DRM
common.buy 26 256 Ft
Rolfing and Physical Reality Ida P. Rolf / E-book Adobe ePub DRM
common.buy 5 651 Ft
Revisiting Austria Gundolf Graml / E-book Adobe ePub DRM
common.buy 9 805 Ft
James Swinnerton's Canyon Country Kiddies James Guilford Swinnerton / Book Paperback
common.buy 9 081 Ft
Theory of Accretion Disks 2 Wolfgang J. Duschl / Book Hardback
common.buy 81 703 Ft
Development at the WTO Sonia E. Rolland / Book Paperback
common.buy 22 407 Ft
Neuropsychoanalysis in practice Georg Northoff / Book Hardback
common.buy 69 726 Ft
Heterodox Economics Andrew Trigg / E-book Adobe ePub DRM
common.buy 9 367 Ft
Differentiated Instruction Ervin F. Sparapani / Book Paperback
common.buy 22 116 Ft
Functional Programming in Javascript Luis Atencio / Book Paperback
common.buy 19 477 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account