Elavult böngészőt használ. Előfordulhat, hogy nem jeleníti meg megfelelően ezt vagy más webhelyeket. Frissítsen, vagy használjon alternatívát böngésző.
Free Download Sergiy Bogomolov, David Parker, "Formal Modeling and Analysis of Timed Systems"
English | 2022 | ISBN: 3031158385 | PDF | pages: 315 | 9.0 mb
This book constitutes the refereed proceedings of the 20th International Conference on Formal Modeling and Analysis of Timed Systems...
Free Download Formal Methods: 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
by André Platzer, Kristin Yvonne Rozier
English | 2025 | ISBN: 3031711610 | 692 Pages | True PDF | 29.4 MB
The 51 full and 4 short papers included in these proceedings...
Free Download Emil Sekerinski, "Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings"
English | ISBN: 3031713788 | 2024 | 150 pages | PDF | 9 MB
This book constitutes the proceedings of the 6th International Workshop on Formal...
Free Download The Application of Formal Methods:
Essays Dedicated to Jim Woodcock on the Occasion of His Retirement
English | 2024 | ISBN: 3031671139 | 667 Pages | PDF EPUB (True) | 64 MB
After a PhD on software verification at the University of Liverpool, Jim has combined a successful career...
Free Download Formal Concept Analysis: Mathematical Foundations by Bernhard Ganter , Rudolf Wille
English | PDF | 1999 | 289 Pages | ISBN : 3540627715 | 24.5 MB
Formal Concept AllalY.5is is a field of applied mathematics based on the math ematization of concept and conceptual hierarchy. It...
Free Download Omri Isac, "Software Verification and Formal Methods for ML-Enabled Autonomous Systems "
English | ISBN: 3031212215 | 2022 | 216 pages | PDF | 4 MB
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for...
Free Download Russell Marcus, "Introduction to Formal Logic with Philosophical Applications"
English | ISBN: 019938648X | 2017 | 624 pages | AZW3 | 1262 KB
Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part...
Free Download Stephen H. Edwards, Gregory Kulczycki, "Formal Foundations of Reuse and Domain Engineering"
English | 2009 | pages: 308 | ISBN: 3642042104 | PDF | 6,3 mb
ICSR is the premier international conference in the ?eld of software reuse. The main goal of ICSR is to present the advances and...
Kulkarni A Handbook of Formal Optimization 2024 | 34.42 MB
1406 Pages
Title: Handbook of Formal Optimization
Author: Anand J. Kulkarni (Editor), Amir H. Gandomi (Editor)
Description:
The formal optimization handbook is a comprehensive guide that covers a wide range of subjects. It includes...