Formal Methods for Software Engineering: Languages, Methods, Application Domains

Roggenbach, Markus; Cerone, Antonio; Schlingloff, Bernd-Holger; Schneider, Gerardo; Shaikh, Siraj Ahmed

ISBN 10: 3030388026 ISBN 13: 9783030388027

Editore: Springer, 2023

Lingua: Inglese

Nuovi Condizione: New Brossura

Da Books Puddle, New York, NY, U.S.A.

Valutazione del venditore 4 su 5 stelle

Venditore AbeBooks dal 22 novembre 2018

Prezzo: EUR 53,06 Convertire valuta

EUR 3,52 per la spedizione in U.S.A. Destinazione, tempi e costi

Quantit�: 1 disponibili

Aggiungere al carrello

Riguardo questo articolo

Codice articolo 26396414481

Dati bibliografici

Titolo: Formal Methods for Software Engineering: ...

Casa editrice: Springer

Data di pubblicazione: 2023

Legatura: Brossura

Condizione: New

Descrizione libreria

I mainly carry imported books from South East Asia / South Asia for readers of all Age Groups.

PLETOS INC
6931 51st Avenue, WOODSIDE, Woodside, NY, 11377, U.S.A.

Condizioni di vendita:

We accept return for those books which are received damamged. Though we take appropriate care in packaing to avoid such situation.

Condizioni di spedizione:

Metodi di pagamento
accettati dalla libreria

Aggiungi ai desiderata