Verwandte Artikel zu Formal Methods in Computer Science (Textbooks in Mathematics...

Formal Methods in Computer Science (Textbooks in Mathematics) - Hardcover

 
9780367225704: Formal Methods in Computer Science (Textbooks in Mathematics)

Inhaltsangabe

Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.

The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.

The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.

Features

* Introduces a comprehensive, yet manageable set of formal techniques for computer science students

* Stresses real-world application value of each formal technique

* Offers a good set of exercises which help students better understand the presented techniques

* Also offers a prepared source code for downloading and non-commercial use

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research associate at Florida International University. Dr. Wang has been teaching formal methods for both undergraduates and graduates at Monmouth University since 2004.

William Tepfenhart was a professor of Computer Science and Software Engineering at Monmouth University. Trained as a physicist, his areas of expertise included object-oriented software development, artificial intelligence, and software engineering. His knowledge of modeling physical systems formed the basis for major contributions in the area of software development.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

  • VerlagChapman and Hall/CRC
  • Erscheinungsdatum2019
  • ISBN 10 0367225700
  • ISBN 13 9780367225704
  • EinbandTapa dura
  • SpracheEnglisch
  • Auflage1
  • Anzahl der Seiten314
  • Kontakt zum HerstellerNicht verfügbar

Gebraucht kaufen

Zustand: Wie neu
Unread book in perfect condition...
Diesen Artikel anzeigen

EUR 17,94 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

EUR 15,53 für den Versand von Vereinigtes Königreich nach Deutschland

Versandziele, Kosten & Dauer

Weitere beliebte Ausgaben desselben Titels

9781498775328: Formal Methods in Computer Science (Textbooks in Mathematics)

Vorgestellte Ausgabe

ISBN 10:  1498775322 ISBN 13:  9781498775328
Verlag: Routledge, 2019
Softcover

Suchergebnisse für Formal Methods in Computer Science (Textbooks in Mathematics...

Beispielbild für diese ISBN

Jiacun Wang, William Tepfenhart
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Hardcover. Zustand: New. Bestandsnummer des Verkäufers 6666-TNFPD-9780367225704

Verkäufer kontaktieren

Neu kaufen

EUR 163,25
Währung umrechnen
Versand: EUR 15,53
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Foto des Verkäufers

Jiacun Wang
Verlag: CRC Press, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Gebunden. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Jiacun Wang received a PhD in computer engineering from Nanjing University of Science and Technology, China. He is a professor of Software Engineering at Monmouth University. He was previously with Nortel Networks and was a research asso. Bestandsnummer des Verkäufers 594567126

Verkäufer kontaktieren

Neu kaufen

EUR 184,46
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Wang, Jiacun; Tepfenhart, William
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 35117759-n

Verkäufer kontaktieren

Neu kaufen

EUR 185,96
Währung umrechnen
Versand: EUR 17,80
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Wang, Jiacun; Tepfenhart, William
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Gebraucht Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 35117759

Verkäufer kontaktieren

Gebraucht kaufen

EUR 210,86
Währung umrechnen
Versand: EUR 17,94
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Wang, Jiacun; Tepfenhart, William
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Gebraucht Hardcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: As New. Unread book in perfect condition. Bestandsnummer des Verkäufers 35117759

Verkäufer kontaktieren

Gebraucht kaufen

EUR 211,08
Währung umrechnen
Versand: EUR 17,80
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wang, Jiacun
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 380154768

Verkäufer kontaktieren

Neu kaufen

EUR 221,13
Währung umrechnen
Versand: EUR 10,58
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Foto des Verkäufers

Wang, Jiacun; Tepfenhart, William
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 35117759-n

Verkäufer kontaktieren

Neu kaufen

EUR 222,28
Währung umrechnen
Versand: EUR 17,94
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Foto des Verkäufers

Jiacun Wang
Verlag: Chapman And Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover
Print-on-Demand

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Buch. Zustand: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Formal Methods in Computer Science gives students a comprehensive introduction to formal methods and their application in software and hardware specification and verification.The first part introduces some fundamentals in formal methods, including set theory, functions, finite state machines, and regular expressions. The second part focuses on logic, a powerful formal language in specifying systems properties. It covers propositional logic, predicate logic, temporal logic, and model checking. The third part presents Petri nets, the most popular formal language in system behavior modeling. In additional to regular Petri nets, this part also examines timed Petri nets and high-level Petri nets.The textbook is ideal for undergraduate or graduate courses in computer engineering, software engineering, computer science, and information technology programs. Parts of the book are useful reading material in undergraduate computer course and as a reference guide for students researching the area of formal system specification and validation.Features\* Introduces a comprehensive, yet manageable set of formal techniques for computer science students\* Stresses real-world application value of each formal technique\* Offers a good set of exercises which help students better understand the presented techniques\* Also offers a prepared source code for downloading and non-commercial use. Bestandsnummer des Verkäufers 9780367225704

Verkäufer kontaktieren

Neu kaufen

EUR 241,85
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wang, Jiacun
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers 26383716431

Verkäufer kontaktieren

Neu kaufen

EUR 234,50
Währung umrechnen
Versand: EUR 8,01
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 3 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Wang, Jiacun
Verlag: Chapman and Hall/CRC, 2019
ISBN 10: 0367225700 ISBN 13: 9780367225704
Neu Hardcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9780367225704

Verkäufer kontaktieren

Neu kaufen

EUR 238,46
Währung umrechnen
Versand: EUR 8,90
Von USA nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Es gibt 7 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen