Nondeterminism and Language Design in Deep Inference
Autor Ozan Kahramanoğullarıen Limba Engleză Paperback – 2 iul 2012
Preț: 447.78 lei
Preț vechi: 559.73 lei
-20% Nou
Puncte Express: 672
Preț estimativ în valută:
85.69€ • 88.92$ • 71.62£
85.69€ • 88.92$ • 71.62£
Carte tipărită la comandă
Livrare economică 15-29 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783659134753
ISBN-10: 3659134759
Pagini: 220
Dimensiuni: 152 x 229 x 13 mm
Greutate: 0.33 kg
Editura: LAP LAMBERT ACADEMIC PUBLISHING AG & CO KG
Colecția LAP Lambert Academic Publishing
ISBN-10: 3659134759
Pagini: 220
Dimensiuni: 152 x 229 x 13 mm
Greutate: 0.33 kg
Editura: LAP LAMBERT ACADEMIC PUBLISHING AG & CO KG
Colecția LAP Lambert Academic Publishing
Notă biografică
Obtained a BSc in mathematics and a PhD in computer science. He worked as a researcher at Imperial College in collaboration with Microsoft Research Cambridge in a joint project on systems biology, and at The Microsoft Research - University of Trento COSBI. His main research interests include proof theory, formal methods and their applications.