Georgiana Caltais, Schilling, Christian Schilling - Model Checking Software 29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Scrivi la tua prima recensione!

CHF 76.00

Georgiana Caltais, Schilling, Christian Schilling

Model Checking Software
29th International Symposium, SPIN 2023, Paris, France, April 26-27, 2023, Proceedings

Inglese · Tascabile

Spedizione di solito entro 4 a 7 giorni lavorativi

Descrizione

Ulteriori informazioni

This book constitutes the refereed proceedings of the 29th International Symposium on Model Checking Software, SPIN 2023, held in Paris, France, during April 26-27, 2023. 
The 9 full papers and 2 short papers included in this book were carefully reviewed and selected from 21 submissions. They were organized in topical sections as follows: binary decision diagrams, concurrency, testing, synthesis, explicit-state model checking.

Dettagli sul prodotto

Con la collaborazione di Georgiana Caltais (Editore), Christian Schilling (Editore), Schilling (Editore)
Editore Springer, Berlin
 
Contenuto Libro
Forma del prodotto Tascabile
Data pubblicazione 09.06.2023
Categoria Scienze naturali, medicina, informatica, tecnica > Tecnica > Elettronica, elettrotecnica, telecomunicazioni
 
EAN 9783031321566
ISBN 978-3-0-3132156-6
Numero di pagine 199
Illustrazioni X, 199 p. 50 illus., 24 illus. in color.
Dimensioni (della confezione) 15.5 x 1.1 x 23.5 cm
 
Serie Lecture Notes in Computer Science > 13872
Categorie Computerhardware, Software Engineering, Linguistics, Mathematics, Cybersecurity, Softwaredesign, cryptography, Künstliche Intelligenz (KI), Automata, architecting, ArtificialIntelligence, softwarearchitecture, embeddedsystems, modelchecking, formalmethods, formalverification, formallogic, Knowledge-basedsystem, formallanguages, runtimeenforcement, Mathematicalfoundationsofcryptography, formalsecuritymodels
 

Recensioni dei clienti

Per questo articolo non c'è ancora nessuna recensione. Scrivi la prima recensione e aiuta gli altri utenti a scegliere.

Scrivi una recensione

Top o flop? Scrivi la tua recensione.

Per i messaggi a CeDe.ch si prega di utilizzare il modulo di contatto.

I campi contrassegnati da * sono obbligatori.

Inviando questo modulo si accetta la nostra dichiarazione protezione dati.