9786132755865 - formal methods: software engineering, formal specification, formal language, formal semantics of programming languages, theoretical computer science (3 Ergebnisse)
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,00
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware 72 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 116,00
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: 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 techni…ques 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.
- Softcover
- Print-on-Demand
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 117,39
EUR 60,63 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering.
