Formal Methods for an Informal World
ICTAC 2021 Summer School, Virtual Event, Astana, Kazakhstan, September 1–7, 2021, Tutorial Lectures
Springer
ISBN 978-3-031-43677-2
Standardpreis
Bibliografische Daten
Fachbuch
Buch. Softcover
2023
31 s/w-Abbildungen, 50 Farbabbildungen.
In englischer Sprache
Umfang: xi, 169 S.
Format (B x L): 15,5 x 23,5 cm
Gewicht: 290
Verlag: Springer
ISBN: 978-3-031-43677-2
Weiterführende bibliografische Daten
Das Werk ist Teil der Reihe: Lecture Notes in Computer Science
Produktbeschreibung
Autorinnen und Autoren
Kundeninformationen
Valuable for students, researchers, and practitioners Lecturers are known experts in the field Contributions show application of formal methods in diverse fields
Produktsicherheit
Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com
 
             BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
                BÜCHER VERSANDKOSTENFREI INNERHALB DEUTSCHLANDS
             
                      
 
                 
         
         
         
         
                                 
                                
 
                                        