9786132755865 - formal methods: software engineering, formal specification, formal language, formal semantics of programming languages, theoretical computer science (3 resultados)
- Tapa blanda
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,00
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 72 pp. Englisch.
- Tapa blanda
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 116,00
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Please note that the content of this book primarily consists of articlesavailable from Wikipedia or other free sources online. In computerscience and software engineering, formal methods are a particular kindof mathematically-based tech…niques for the specification, developmentand verification of software and hardware systems. The use of formalmethods for software and hardware design is motivated by the expectationthat, as in other engineering disciplines, performing appropriatemathematical analysis can contribute to the reliability and robustnessof a design. However, the high cost of using formal methods means thatthey are usually only used in the development of high-integrity systemswhere safety or security is of utmost importance. Formal methods arebest described as the application of a fairly broad variety oftheoretical computer science fundamentals, in particular logic calculiformal languages, automata theory, and program semantics, but also typesystems and algebraic data types to problems in software and hardwarespecification and verification.VDM Verlag, Dudweiler Landstraße 99, 66123 Saarbrücken 72 pp. Englisch.
- 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 117,39
Envío por EUR 60,63Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Taschenbuch. Condición: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
