Sinopsis
Recently, temporal and modal logic, process calculus, and model checking have become essential software techniques for the formal verification of systems. With a clarity of presentation and its many illuminating examples, this book makes this technical material easy to grasp. It is perfectly suited for an advanced undergraduate or graduate class in formal verification and will serve as a valuable resource to practitioners of formal methods in all areas of computer science and software programming.
"Sinopsis" puede pertenecer a otra edición de este libro.
Otras ediciones populares con el mismo título
Resultados de la búsqueda para Modal and Temporal Properties of Processes
Imagen de archivo
Modal and Temporal Properties of Processes
Impresión bajo demandaLibrería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781475735512
Comprar nuevo
EUR 57,57
Gastos de envío:
GRATIS
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Modal and Temporal Properties of Processes
Impresión bajo demandaLibrería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9781475735512
Comprar nuevo
EUR 53,99
Gastos de envío:
EUR 4,72
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Modal and Temporal Properties of Processes
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9781475735512_new
Comprar nuevo
EUR 53,27
Gastos de envío:
EUR 13,58
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles