Inicio Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) de Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor), Klaus Havelund (Editor), Insup Lee (Editor), Gordon Pace (Editor), Grigore Rosu (Editor), Oleg Sokolsky (Editor), Nikolai Tillmann (Editor) - 2010-12-23

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering) de Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor), Klaus Havelund (Editor), Insup Lee (Editor), Gordon Pace (Editor), Grigore Rosu (Editor), Oleg Sokolsky (Editor), Nikolai Tillmann (Editor) - 2010-12-23

Name: Runtime Verification: First International Conference, Rv 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
Price: 61.16 GBP
Availability: InStock
Author: Rosu, Grigore (Editor)
ISBN: 9783642166112

de Howard Barringer (Editor), Ylies Falcone (Editor), Bernd Finkbeiner (Editor), Klaus Havelund (Editor), Insup Lee (Editor), Gordon Pace (Editor), Grigore Rosu (Editor), Oleg Sokolsky (Editor), Nikolai Tillmann (Editor)

Te mostramos ejemplares similares más abajo.

Te mostramos ejemplares similares a la derecha.

Foto de archivo: la portada puede ser diferente