Satisfiability and Model Checking in Team Based Logics
Autor Julian-Steffen Mülleren Limba Engleză Paperback – aug 2014
Preț: 149.02 lei
Preț vechi: 186.27 lei
-20%
Puncte Express: 224
Carte tipărită la comandă
Livrare economică 01-07 iulie
Specificații
ISBN-13: 9783954047598
ISBN-10: 3954047594
Pagini: 148
Dimensiuni: 148 x 210 x 8 mm
Greutate: 0.2 kg
Editura: Cuvillier
ISBN-10: 3954047594
Pagini: 148
Dimensiuni: 148 x 210 x 8 mm
Greutate: 0.2 kg
Editura: Cuvillier