Tools and Algorithms for the Construction and Analysis of Systems de Arie Gurfinkel

Tools and Algorithms for the Construction and Analysis of Systems: Lecture Notes in Computer Science

Editat de Arie Gurfinkel, Marijn Heule

en Limba Engleză Paperback – mai 2025

Toate formatele și edițiile

	Preț	Express
Paperback (3)	273^.97 lei 38-44 zile
Springer – mai 2025	273^.97 lei 38-44 zile
Springer – mai 2025	286^.01 lei 38-44 zile
Springer – mai 2025	288^.08 lei 38-44 zile

Din seria Lecture Notes in Computer Science

Preț: 273^.97 lei

Preț vechi: 342^.46 lei
-20%

Puncte Express: 411

:
48^.44€ • 57^.48$ • 42^.12£

Carte tipărită la comandă

Livrare economică 28 martie-03 aprilie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Specificații

ISBN-13: 9783031906596
ISBN-10: 3031906594
Pagini: 292
Dimensiuni: 155 x 235 x 16 mm
Greutate: 0.45 kg
Editura: Springer
Seria Lecture Notes in Computer Science