Artículos relacionados a software engineering. formal methods and language(Chinese...
Comprar nuevo
Ver este artículo
EUR 51,60
EUR 12,86 gastos de envío desde China a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para software engineering. formal methods and language(Chinese...
Imagen del vendedor
software engineering. formal methods and language(Chinese Edition)
Publicado por
Zhejiang University Press Pub. Date :2010-03, 2010
ISBN 10: 7308066673
ISBN 13: 9787308066679
Nuevo
paperback
Librería: liu xing, Nanjing, JS, China
Calificación del vendedor: 5 de 5 estrellas
paperback. Condición: New. Pages Number: 200 Publisher: Zhejiang University Press Pub. Date :2010-03 This book describes three selected representative and formal methods. which are based on set theory and first-order predicate calculus-based z language to temporal logic-based xyz. there is an intuitive mathematical school-based of type theory. Book either as a computer science graduate students in the form. Nº de ref. del artículo: J81545
Cantidad disponible: 3 disponibles