Formal Aspects of Component Software: 20th International Conference, FACS 2024, Milan, Italy, September 9–10, 2024, Proceedings (Lecture Notes in Computer Science #15189)
6208197
|
Meng Sun
Diego Marmsoler
|
9783031712616 |
2024 |
Contains images
|
|
Formal Concept Analysis: 14th International Conference, ICFCA 2017, Rennes, France, June 13-16, 2017, Proceedings (Lecture Notes in Computer Science #10308)
5928174
|
Karell Bertet, Daniel Borchmann, Peggy Cellier and Sébastien Ferré
|
9783319592718 |
2017 |
Contains images
|
|
Formal Concept Analysis: 15th International Conference, ICFCA 2019, Frankfurt, Germany, June 25–28, 2019, Proceedings (Lecture Notes in Computer Science #11511)
5924765
|
Florence Le Ber
Diana Cristea
Baris Sertkaya
|
9783030214623 |
2019 |
Contains images
|
|
Formal Concept Analysis: 16th International Conference, ICFCA 2021, Strasbourg, France, June 29 – July 2, 2021, Proceedings (Lecture Notes in Computer Science #12733)
4134789
|
Florence Le Ber
Agnès Braud
Aleksey Buzmakov
Tom Hanika
|
9783030778675 |
2021 |
Contains images
|
|
Formal Concept Analysis: 17th International Conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023, Proceedings (Lecture Notes in Computer Science #13934)
5925600
|
Dominik Dürrschnabel
Domingo López Rodríguez
|
9783031359491 |
2023 |
Contains images
|
|
Formal Development of a Network-Centric RTOS
650420
|
Eric Verhulst
José Miguel Faria
Raymond T. Boute
Vitaliy Mezhuyev
Bernhard H.C. Sputh
|
9781441997364 |
2011 |
Contains images
|
|
Formal Grammar
1918193
|
Rainer Osswald
Annie Foret
Glyn Morrill
Reinhard Muskens
Sylvain Pogodalla
|
9783662530429 |
2014 |
Contains images
|
|
Formal Grammar 2018: 23rd International Conference, FG 2018, Sofia, Bulgaria, August 11-12, 2018, Proceedings (Lecture Notes in Computer Science #10950)
5926464
|
Annie Foret
Sylvain Pogodalla
Greg Kobele
|
9783662577844 |
2018 |
Contains images
|
|
Formal Grammar: 22nd International Conference, FG 2017, Toulouse, France, July 22-23, 2017, Revised Selected Papers (Lecture Notes in Computer Science #10686)
5928266
|
Annie Foret
Reinhard Muskens
Sylvain Pogodalla
|
9783662563434 |
2018 |
Contains images
|
|
Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668)
2807782
|
Sylvain Pogodalla
Greg Kobele
Raffaella Bernardi
|
9783662596487 |
2019 |
Contains images
|
|
Formal Languages and Compilation (Texts in Computer Science)
2524535
|
Stefano Crespi Reghizzi
Luca Breveglieri
Angelo Morzenti
|
9783030048792 |
2009 |
Contains images
|
|
Formal Languages and Computation: Models and Their Applications
6138825
|
Alexander Meduna
|
9781040061282 |
2014 |
Contains images
|
|
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words
3294179
|
Michel Rigo
|
9781119008224 |
2014 |
Contains images
|
|
Formal Methods and Software Engineering: 23rd International Conference on Formal Engineering Methods, ICFEM 2022, Madrid, Spain, October 24–27, 2022, Proceedings (Lecture Notes in Computer Science #13478)
5159620
|
Min Zhang
Adrian Riesco
|
9783031172441 |
2022 |
Contains images
|
|
Formal Methods Applied to Complex Systems: Implementation of the B Method (Wiley-iste Ser.)
3294175
|
Jean-Louis Boulanger
|
9781119002925 |
2014 |
Contains images
|
|
Formal Methods Applied to Industrial Complex Systems: Implementation Of The B Method
3294344
|
Jean-Louis Boulanger
|
9781119004776 |
2014 |
Contains images
|
|
Formal Methods Teaching: 6th Formal Methods Teaching Workshop, FMTea 2024, Milan, Italy, September 10, 2024, Proceedings (Lecture Notes in Computer Science #14939)
6203625
|
Leila Ribeiro
Emil Sekerinski
|
9783031713798 |
2024 |
Contains images
|
|
Formal Methods Teaching: Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings (Lecture Notes in Computer Science #11758)
2964907
|
Graeme Smith
Brijesh Dongol
Luigia Petre
|
9783030324414 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering
1615198
|
Michael Butler
Sylvain Conchon
Fatiha Zaïdi
|
9783319254234 |
2015 |
Contains images
|
|
Formal Methods and Software Engineering
1534030
|
Shaoying Liu
Kazuhiro Ogata
Mark Lawford
|
9783319478463 |
2016 |
Contains images
|
|
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings (Lecture Notes in Computer Science #11232)
2333354
|
Jing Sun
Meng Sun
|
9783030024505 |
2018 |
Contains images
|
|
Formal Methods and Software Engineering: 21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, Proceedings (Lecture Notes in Computer Science #11852)
2975328
|
Yamine Ait-Ameur
Shengchao Qin
|
9783030324094 |
2019 |
Contains images
|
|
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings (Lecture Notes in Computer Science #12531)
3868201
|
Shang-Wei Lin
Zhe Hou
Brendan Mahoney
|
9783030634063 |
2020 |
Contains images
|
|
Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisbane, QLD, Australia, November 21–24, 2023, Proceedings (Lecture Notes in Computer Science #14308)
5784126
|
Yi Li
Sofiène Tahar
|
9789819975846 |
2023 |
Contains images
|
|
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2–6, 2024, Proceedings (Lecture Notes in Computer Science #15394)
6354408
|
Shaoying Liu
Kazuhiro Ogata
Dominique Mery
Meng Sun
|
9789819606177 |
2024 |
Contains images
|
|