Formal Methods: Foundations and Applications | Academicbooks.dk

Formal Methods: Foundations and Applications

25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6–9, 2022, Proceedings

Af

E-bog

Full Access

517,78 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

60 days rental

232,20 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

90 days rental

279,80 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

120 days rental

327,39 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

180 days rental

351,19 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Excerpt: 2 copy-operations
Print: 2 page-prints

365 days rental

517,78 kr.

VitalSource

E-bogen læses via VitalSource-appen, på enten computer, tablet eller telefon. E-bogen kan læses offline, men kan ikke downloades som pdf.
Se mere her

Sidelayoutet er fleksibelt / tilpasser sig læsevinduet. Sidenumre passer derfor ikke altid med den trykte bog.

Print: 2 page-prints
Excerpt: 2 copy-operations

Bemærk venligst, at den normale 14 dages fortrydelsesret ophører ved modtagelse af adgang til e-bogen.

Produkt beskrivelse

This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022. The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the constructionof high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.

Detaljer

ISBN13 9783031224768
Udgivet 2022
Forlag Springer
Sprog Engelsk