Formal Methods in Computer Science

Bild von Formal Methods in Computer Science

Artikelnummer: 978-1-4987-7532-8

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: POD-Titel lieferbar in 5 bis 10 Arbeitstagen

CHF 139.00

Menge: decrease increase

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Beschrieb
Bewertungen
Anfrage zu diesem Produkt

This textbook gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

Schreiben Sie Ihre eigene Bewertung

Nur registrierte Benutzer können Produkte bewerten

Ihr Name *

Ihre E-Mail *

Betreff: *

Anfrage *

Verlag	Taylor and Francis
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	2019
Seitenangabe	294 S.
Ausgabekennzeichen	Englisch
Abbildungen	schwarz-weiss Illustrationen, Tabellen, schwarz-weiss
Masse	H23.4 cm x B15.6 cm 453 g
Coverlag	Chapman & Hall/CRC (Imprint/Brand)
Reihe	Textbooks in Mathematics
Autor	Wang Jiacun / Tepfenhart, William

Alle Bände der Reihe "Textbooks in Mathematics"

Über den Autor Wang Jiacun

Jiacun Wang is an associate professor and the chair of the Department of Computer Science and Software Engineering at Monmouth University in West Long Branch, New Jersey. Dr. Wang is a senior member of IEEE and an associate editor of IEEE Transactions on Systems, Man and Cybernetics, Part C. His research interests include software engineering, discrete event systems, formal methods, wireless networking, and real-time distributed systems.

Weitere Titel von Wang Jiacun

Cover-Bild zu Intelligent Systems and Sustainable Computing (eBook)

Intelligent Systems and Sustainable Computing (eBo Springer Nature Singapore

PDF | 2026

CHF

330.50

Cover-Bild zu Intelligent Systems and Sustainable Computing (eBook)

Intelligent Systems and Sustainable Computing (eBo Springer Nature Singapore

PDF | 2025

CHF

295.00

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2025

CHF

295.00

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2024

CHF

260.50

Cover-Bild zu Intelligent Systems and Sustainable Computing (eBook)

Intelligent Systems and Sustainable Computing (eBo Springer Nature Singapore

PDF | 2023

CHF

331.00

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2023

CHF

331.00

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2022

CHF

271.50

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2021

CHF

330.50

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2021

CHF

354.00

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2020

CHF

295.00

Cover-Bild zu Formal Methods in Computer Science (eBook)

Formal Methods in Computer Science (eBook) Taylor & Francis Ebooks

PDF | 2019

CHF

147.05

Cover-Bild zu Formal Methods in Computer Science (eBook)

Formal Methods in Computer Science (eBook) Taylor & Francis Ebooks

Adobe Digital Editions | 2019

CHF

147.05

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2019

CHF

271.50

Cover-Bild zu Soft Computing and Signal Processing (eBook)

Soft Computing and Signal Processing (eBook) Springer Nature Singapore

PDF | 2019

CHF

260.00

Cover-Bild zu Formal Methods in Computer Science

Formal Methods in Computer Science Taylor and Francis

Fester Einband | 2019

CHF

295.00

Cover-Bild zu Formal Methods in Computer Science

Formal Methods in Computer Science Taylor and Francis

Kartonierter Einband (Kt) | 2019

CHF

139.00

Cover-Bild zu Real-Time Embedded Systems (eBook)

Real-Time Embedded Systems (eBook) Wiley-Blackwell

Adobe Digital Editions | 2017

CHF

134.00

Cover-Bild zu Real-Time Embedded Systems (eBook)

Real-Time Embedded Systems (eBook) Wiley-Blackwell

PDF | 2017

CHF

134.00

Cover-Bild zu Real-Time Embedded Systems

Real-Time Embedded Systems Wiley

Fester Einband | 2017

CHF

176.00

Cover-Bild zu Handbook of Finite State Based Models and Applications (eBook)

Handbook of Finite State Based Models and Applicat Taylor & Francis Ebooks

Adobe Digital Editions | 2016

CHF

118.65

Cover-Bild zu Handbook of Finite State Based Models and Applications (eBook)

Handbook of Finite State Based Models and Applicat Taylor & Francis Ebooks

PDF | 2016

CHF

118.65

Cover-Bild zu Handbook of Finite State Based Models and Applications

Handbook of Finite State Based Models and Applicat Taylor and Francis

Kartonierter Einband (Kt) | 2016

CHF

115.00

Cover-Bild zu Timed Petri Nets (eBook)

Timed Petri Nets (eBook) Springer New York

PDF | 2012

CHF

236.00

Cover-Bild zu Handbook of Finite State Based Models and Applications

Handbook of Finite State Based Models and Applicat Taylor and Francis

Fester Einband | 2012

CHF

295.00

Produktbewertungen

Nur registrierte Benutzer können Produkte bewerten