J M Romijn
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering J M Romijn 2005 edition

Name: Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering
Price: 55.99 USD
Availability: OutOfStock
Author: J M Romijn

Precio

$ 55,99

sin IVA

Pedido desde almacén remoto

Entrega prevista 26 de jun. - 9 de jul.

Nuestros clientes opinan:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores

Mejor valorado en Trustpilot

Añadir a tu lista de deseos de iMusic

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings - Programming and Software Engineering

J M Romijn

2005 edition

Constitutes the proceedings of the 5th International Conference on Integrated Formal Methods, IFM 2005, held in November/December 2005. The papers are organized in topical sections on components, state/event-based verification, system development, applications of B, tool support, non-software domains, semantics, as well as UML and statecharts.

407 pages, biography

Medios de comunicación	Libros Paperback Book (Libro con tapa blanda y lomo encolado)
Publicado	24 de noviembre de 2005
ISBN13	9783540304920
Editores	Springer-Verlag Berlin and Heidelberg Gm
Páginas	407
Dimensiones	155 × 235 × 21 mm · 630 g
Lengua	Alemán
Editor	Romijn, Judi M.T.
Editor	Smith, Graeme P.
Editor	Van De Pol, Jaco C.