Eclipse environment de chengdong (3 resultados)
- Tapa blanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 57,95
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Taschenbuch. Condición: Neu. An Eclipse Environment for Z | The Integration of Z Language Support into Eclipse | Chengdong Xu | Taschenbuch | Englisch | VDM Verlag Dr. Müller | EAN 9783639036992 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter:…preigu.
- Tapa blanda
Librería: Mispah books, Redhill, SURRE, Reino UnidoMispah books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 154,77
Envío por EUR 28,90Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
- Tapa blanda
- Impresión bajo demanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,82
Envío por EUR 61,23Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book reports on the design, implementation andevaluation of a new interactive Z environment that is integratedinto the Eclipse environment. The Z language is a formalspecification notation that is used to describe and modelcomputer-…based systems. For the widespread use of Z, it isdesirable to integrate Z support with amature and popular editingenvironment, such as Eclipse. Eclipse was chosen as the basis forthe new Z environment because it is widely used, it provides richfunctionality and it is designed to be extensible. The Zenvironment described in this book extends Eclipse to provide alarge set of useful features for editing and analyzing Zspecifications, such as a table of Z symbols, constant detection ofsyntax and type errors, outlining facilities, cross-referencing ofZ names and conversion between different Z markups. User feedbackshows that the resulting Z environment is helpful for editing andcorrecting Z specifications. The development of the Z support forEclipse is a part of the CZT (Community Z Tools) project, which isa Java framework for building Z tools and provides parsers,typecheckers and other Z tools.
