ISBN: 9783031493416 - formal methods: foundations and applications: 26th brazilian symposium, sbmf 2023, manaus, brazil, december 4–8, 2023, proceedings: 14414 (lecture notes in computer science) (15 resultados)

Condición: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2023.

Condición: As New. Unread book in perfect condition.

Condición: New.

Condición: New.

Condición: New. 1st ed. 2024 edition NO-PA16APR2015-KAP.

Paperback. Condición: Brand New. 175 pages. 9.25x6.10x0.38 inches. In Stock.

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.…

Taschenbuch. Condición: Neu. Formal Methods: Foundations and Applications | 26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings | Haniel Barbosa (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xxii | Englisch | 2023 | Springer | EAN 9783031493416 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.…

Condición: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.…

Condición: new. Questo è un articolo print on demand.

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the26th Brazilian SymposiumonFormal Methods, SBMF 2023, held inManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation. 176 pp. Englisch.…

Condición: New. Print on Demand.

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the&nbsp26th Brazilian Symposium&nbspon&nbspFormal Methods, SBMF 2023, held in&nbspManaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefu.…

Condición: New. PRINT ON DEMAND.

Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.The papers are divided into the following topical sections: specification and modeling languages; testing; and verification and validation.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 176 pp. Englisch.…