Formal Grammar: 24th International Conference, FG 2019, Riga, Latvia, August 11, 2019, Proceedings (Lecture Notes in Computer Science #11668)
2807782
|
Raffaella Bernardi
Greg Kobele
Sylvain Pogodalla
|
9783662596487 |
2019 |
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
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
Greg Kobele
Sylvain Pogodalla
|
9783662577844 |
2018 |
Contains images
|
|
Formal Languages and Compilation (Texts in Computer Science)
2524535
|
Stefano Crespi Reghizzi
Luca Breveglieri
Angelo Morzenti
|
9783030048792 |
2009 |
Contains images
|
|
Formal Languages, Automata and Numeration Systems 1: Introduction to Combinatorics on Words
3294179
|
Michel Rigo
|
9781119008224 |
2014 |
Contains images
|
|
Formal Methods: 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14414)
5795023
|
Haniel Barbosa
Yoni Zohar
|
9783031493423 |
2024 |
Contains images
|
|
Formal Methods: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6–10, 2021, Proceedings (Lecture Notes in Computer Science #13130)
4345550
|
Sérgio Campos
Marius Minea
|
9783030921378 |
2021 |
Contains images
|
|
Formal Methods: 23rd Brazilian Symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020, Proceedings (Lecture Notes in Computer Science #12475)
3748001
|
Gustavo Carvalho
Volker Stolz
|
9783030638825 |
2020 |
Contains images
|
|
Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings (Lecture Notes in Computer Science #14000)
5240156
|
Marsha Chechik
Joost-Pieter Katoen
Martin Leucker
|
9783031274817 |
2023 |
Contains images
|
|
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings (Lecture Notes in Computer Science #10951)
2118987
|
Klaus Havelund
Jan Peleska
Bill Roscoe
Erik De Vink
|
9783319955827 |
2018 |
Contains images
|
|
Formal Methods: 25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings (Lecture Notes in Computer Science #13768)
5125797
|
Lucas Lima
Vince Molnár
|
9783031224768 |
2022 |
Contains images
|
|
Formal Methods: 21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings (Lecture Notes in Computer Science #11254)
2336818
|
Tiago Massoni
Mohammad Reza Mousavi
|
9783030030445 |
2018 |
Contains images
|
|
Formal Methods: Foundations and Applications
1532594
|
Leila Ribeiro
Thierry Lecomte
|
9783319498157 |
2016 |
Contains images
|
|
Formal Methods: State of the Art and New Directions
1418382
|
Jawed Siddiqi
Paul Boca
Jonathan P. Bowen
|
9781848827363 |
2010 |
Contains images
|
|
Formal Methods – Fun for Everybody: First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers (Communications in Computer and Information Science #1301)
3956482
|
Antonio Cerone
Markus Roggenbach
|
9783030713744 |
2021 |
Contains images
|
|
Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings (Lecture Notes in Computer Science #11800)
3356697
|
Maurice H. ter Beek
Annabelle McIver
José N. Oliveira
|
9783030309428 |
2019 |
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: 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: 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
1534030
|
Shaoying Liu
Mark Lawford
Kazuhiro Ogata
|
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
1615198
|
Fatiha Zaïdi
Sylvain Conchon
Michael Butler
|
9783319254234 |
2015 |
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
|
|