Rigorous State Based Methods 9th International...
By: Uwe Glasser ,Jose Creissac Campos ,Dominique Mery ,Philippe Palanque
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3031331621, 978-3031331626
Concur 97 Concurrency Theory 8th International...
By: Antoni Mazurkiewicz ,Jozef Winkowski
Date: Jun 14, 2024 Edition: 1997 EditionISBN: 3540631410, 978-3540631415
Concur 98 Concurrency Theory 9th International...
By: Davide Sangiorgi ,Robert De Simone
Date: Jun 14, 2024 Edition: 1998 EditionISBN: 3540648968, 978-3540648963
Tests And Proofs 13th International Conference...
By: Dirk Beyer ,Chantal Keller
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030311562, 978-3030311568
Static Analysis 26th International Symposium Sas...
By: Bor-yuh Evan Chang
Date: Jun 14, 2024 Edition: 1st EditionISBN: 303032303X, 978-3030323035
Logical Foundations Of Computer Science...
By: Sergei Artemov ,Anil Nerode
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030367541, 978-3030367541
Relational And Algebraic Methods In Computer...
By: Uli Fahrenberg ,Peter Jipsen ,Michael Winter
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030435199, 978-3030435196
Logic Based Program Synthesis And Transformation...
By: Fred Mesnard ,Peter J. Stuckey
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030138372, 978-3030138370
Formal Methods Teaching Third International...
By: Brijesh Dongol ,Luigia Petre ,Graeme Smith
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3030324400, 978-3030324407
Typed Lambda Calculi And Applications 6th...
By: Martin Hofmann
Date: Jun 14, 2024 Edition: 2003rd EditionISBN: 3540403329, 978-3540403326
Software Engineering And Formal Methods Sefm 2014...
By: Carlos Canal ,Akram Idani
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3319152009, 978-3319152004
Model Checking Software 22nd International...
By: Bernd Fischer ,Jaco Geldenhuys
Date: Jun 14, 2024 Edition: 1st EditionISBN: 331923403X, 978-3319234038
Stacs 86 3rd Annual Symposium On Theoretical...
By: B. Monien ,G. Vidal-Naquet
Date: Jun 14, 2024 Edition: 1986 EditionISBN: 3540160787, 978-3540160786
Verification Model Checking And Abstract...
By: Ahmed Bouajjani ,David Monniaux
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319522337, 978-3319522333
Static Analysis 21st International Symposium Sas...
By: Markus Muller-Olm ,Helmut Seidl
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3319109359, 978-3319109350
Small Dynamic Complexity Classes An Investigation...
By: Thomas Zeume
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3662543133, 978-3662543139
Integrated Formal Methods 12th International...
By: Erika Abraham ,Marieke Huisman
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319336924, 978-3319336923
Leveraging Applications Of Formal Methods...
By: Tiziana Margaria ,Bernhard Steffen
Date: Jun 14, 2024 Edition: 2014 EditionISBN: 3662452332, 978-3662452332
Verification Model Checking And Abstract...
By: Deepak Dsouza ,Akash Lal ,Kim Guldstrand Larsen
Date: Jun 14, 2024 Edition: 2015 EditionISBN: 3662460807, 978-3662460801
Mathematical Aspects Of Computer And Information...
By: Johannes Blomer ,Ilias S. Kotsireas ,Temur Kutsia ,Dimitris E. Simos
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3319724525, 978-3319724522
Reachability Problems 6th International Workshop...
By: Alain Finkel ,Jerome Leroux ,Igor Potapov
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 364233511X, 978-3642335112
Leveraging Applications Of Formal Methods...
By: Tiziana Margaria ,Bernhard Steffen
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 3642340253, 978-3642340253
A Proof Theory For Description Logics
By: Alexandre Rademaker
Date: Jun 14, 2024 Edition: 2012 EditionISBN: 144714001X, 978-1447140016
Concur 94 Concurrency Theory 5th International...
By: Bengt Jonsson ,Joachim Parrow
Date: Jun 14, 2024 Edition: 1994 EditionISBN: 3540583297, 978-3540583295
Reachability Problems 5th International Workshop...
By: Giorgio Delzanno ,Igor Potapov
Date: Jun 14, 2024 Edition: 2011 EditionISBN: 3642242871, 978-3642242878
Turing Machines With Sublogarithmic Space
By: Andrzej Szepietowski
Date: Jun 14, 2024 Edition: 1994 EditionISBN: 3540583556, 978-3540583554
Theory Is Forever Essays Dedicated To Arto...
By: Juhani Karhumaki ,Hermann Maurer ,Gheorghe Paun ,Grzegorz Rozenberg
Date: Jun 14, 2024 Edition: 2004 EditionISBN: 3540223932, 978-3540223931
Static Analysis Th International Symposium Sas...
By: Jens Palsberg ,Zhendong Su
Date: Jun 14, 2024 Edition: 2009 EditionISBN: 3642032362, 978-3642032363
Verification Model Checking And Abstract...
By: Barbara Jobstmann ,K. Rustan M. Leino
Date: Jun 14, 2024 Edition: 1st EditionISBN: 3662491214, 978-3662491218
Nasa Formal Methods 5th International Symposium...
By: Guillaume Brat ,Neha Rungta ,Arnaud Venet
Date: Jun 14, 2024 Edition: 2013 EditionISBN: 3642380875, 978-3642380877
