Automated Technology for Verification and Analysis

Materias

• Logic design
• Computer networks
• Computer science
• Software engineering
• Congresses
• Automatic theorem proving

Ediciones (2)

• Automated Technology for Verification and Analysis (2022)

  Springer International Publishing AG · inglés · ISBN 9783031199912

• Automated Technology for Verification and Analysis (2010)

  Springer-Verlag Heidelberg · inglés · ISBN 9783642156427

Más obras de Ahmed Bouajjani