8 results
Type of media (2)
Classification (2)
Year
Persons
Publishers
Sort by
Results per page
Filter
8 results

Your search for Adenilso Simao

  1. Cover: Theoretical Aspects of Computing - ICTAC 2020 - Springer
    Violet Ka I. Pun | Volker Stolz | Adenilso Simao
    Theoretical Aspects of Computing - ICTAC 2020
    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    11/2020
    Springer
    9783030642761 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  2. Cover: Formal Methods: Foundations and Applications - Springer
    Jim Davies | Leila Silva | Adenilso Simao
    Formal Methods: Foundations and Applications
    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    03/2011
    Springer
    9783642198298 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Formal Methods: Foundations and Applications - Springer
    Adenilso Simao | Carroll Morgan
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    11/2011
    Springer
    9783642250323 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Testing Software and Systems - Springer
    Alexandre Petrenko | Adenilso Simao | José Carlos Maldonado
    Testing Software and Systems
    22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
    10/2010
    Springer
    9783642165733 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Testing Software and Systems - Springer
    Alexandre Petrenko | Adenilso Simao | José Carlos Maldonado
    Testing Software and Systems
    22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings
    10/2010
    1st EDN1st Edition
    Springer
    9783642165726 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 5-7 days
  6. Cover: Formal Methods: Foundations and Applications - Springer
    Jim Davies | Leila Silva | Adenilso Simao
    Formal Methods: Foundations and Applications
    13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers
    03/2011
    1st EDN1st Edition
    Springer
    9783642198281 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  7. Cover: Formal Methods: Foundations and Applications - Springer
    Adenilso Simao | Carroll Morgan
    Formal Methods: Foundations and Applications
    14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings
    10/2011
    Springer
    9783642250316 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  8. Cover: Theoretical Aspects of Computing - ICTAC 2020 - Springer
    Violet Ka I. Pun | Volker Stolz | Adenilso Simao
    Theoretical Aspects of Computing - ICTAC 2020
    17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings
    11/2020
    Springer
    9783030642754 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days