Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)

0 avg rating
( 0 ratings by GoodReads )
9780123490407: Teaching and Learning Formal Methods (Academic Press International Series in Formal Methods)

As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cooling systems in chemical plants, and feedback loops in nuclear reactors. Because of the vital roles these systems play, there has been growing concern about the reliability and safety of these advanced computers. Formal methods are now widely recognized as the most successful means of assuring the reliability of complex computer systems. Because formal methods are being mandated in more and more international standards, it is critical that engineers, managers, and industrial project leaders are well trained and conversant in the application of these methods. This book covers a broad range of issues relating to the pedagogy of formal methods. The contributors, all acknowledged experts, have based their contributions on extensive experiences teaching and applying formal methods in both academia and industry. The two editors, both well known in this area, propose various techniques that can help to dismiss myths that formal methods are difficult to use and hard to learn. "Teaching and Learning Formal Methods" will be an indispensable text for educators in the fields of computer science, mathematics, software engineering, and electronic engineering as well as to management and product leaders concerned with training recent graduates. It offers proven methods for teaching formal methods, even to students who lack a strong background in mathematics. It addresses the important role that formal methods play in society and considers their growing future potential. It includes contributions from several pioneers in the area, and features a foreword written by Edsger W. Dijkstra.

"synopsis" may belong to another edition of this title.

From the Author:

please note an error in the series title
please note an error in the series title, this book was published in the Academic Press International Series in Formal Methods, and not the series listed on this site. Thank you.

About the Author:

Neville Dean earned his M.A. in Mathematics and Theoretical Physics from St. John's College, Cambridge, where he was elected scholar and awarded the Hollinshead-Howles prize and the Phineas Quass prize. He earned a D.Phil. in Experimental Physics from the University of Sussex, and also holds a teaching certificate for higher education. He is Associate Fellow of the Institute of Mathematics and its Applications, a Member of the Institute of Physics, a Chartered Physicist, and a member of St. John's College at the University of Cambridge. Dean is a member of the IEEE Computer Society, the BCS special interest group in Formal Aspects of Computing, and the European Association for Theoretical Computer Science. He is a representative on the Mathematics Working Group of the Societe European pour la Formation des Ingenieurs. He is currently a Senior Lecturer at Anglia Polytechnic University. Mike Hinchey graduated from the University of Limerick, Ireland summa cum laude with a B.Sc. in Computer Science, and was awarded the Chairman's prize. He earned an M.Sc. in Computation with the Programming Research Group at Oxford University, and a Ph.D. in Computer Science at University of Cambridge, where he has been ICL Research Scholar in Automatic Computing since 1992. He is also a professor in the Real-Time Computing Laboratory in the Department of Computer and Information Science at New Jersey Institute of Technology. He is an Associate Fellow of the Institute of Mathematics, and a member of the ACM, IEEE,American Mathematical Society, the New York Academy of Sciences, and also of St. John's College (University of Cambridge) and Wolfson College (University of Oxford).

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

1.

Dean, C. Neville
Published by Academic Press
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Quantity Available: 1
Seller
Phatpocket Limited
(Waltham Abbey, HERTS, United Kingdom)
Rating
[?]

Book Description Academic Press. Book Condition: New. New. Book is new and unread but may have minor shelf wear. Bookseller Inventory # Z1-B-019-00809

More Information About This Seller | Ask Bookseller a Question

Buy New
33.37
Convert Currency

Add to Basket

Shipping: 5.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

2.

Published by Academic Press (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
Irish Booksellers
(Rumford, ME, U.S.A.)
Rating
[?]

Book Description Academic Press, 1996. Hardcover. Book Condition: New. book. Bookseller Inventory # 0123490405

More Information About This Seller | Ask Bookseller a Question

Buy New
40.72
Convert Currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, Rates & Speeds

3.

Michael Hinchey, C Neville Dean
Published by ELSEVIER SCIENCE TECHNOLOGY, United States (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
The Book Depository
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 1996. Hardback. Book Condition: New. 238 x 162 mm. Language: English . Brand New Book. As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cooling systems in chemical plants, and feedback loops in nuclear reactors. Because of the vital roles these systems play, there has been growing concern about the reliability and safety of these advanced computers. Formal methods are now widely recognized as the most successful means of assuring the reliability of complex computer systems. Because formal methods are being mandated in more and more international standards, it is critical that engineers, managers, and industrial project leaders are well trained and conversant in the application of these methods. This book covers a broad range of issues relating to the pedagogy of formal methods. The contributors, all acknowledged experts, have based their contributions on extensive experiences teaching and applying formal methods in both academia and industry.The two editors, both well known in this area, propose various techniques that can help to dismiss myths that formal methods are difficult to use and hard to learn. Teaching and Learning Formal Methods will be an indispensable text for educators in the fields of computer science, mathematics, software engineering, and electronic engineering as well as to management and product leaders concerned with trainingrecent graduates. Key Features * Offers proven methods for teaching formal methods, even to students who lack a strong background in mathematics * Addresses the important role that formal methods play in society and considers their growing future potential * Includes contributions from several pioneers in the area * Features a foreword written by Edsger W. Dijkstra. Bookseller Inventory # AA59780123490407

More Information About This Seller | Ask Bookseller a Question

Buy New
59.33
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

4.

C. Neville Dean, Michael G. Hinchey
Published by Morgan Kaufmann 1996-09-06 (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 5
Seller
Chiron Media
(Wallingford, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann 1996-09-06, 1996. Hardcover. Book Condition: New. Bookseller Inventory # NU-ELS-00002599

More Information About This Seller | Ask Bookseller a Question

Buy New
58.50
Convert Currency

Add to Basket

Shipping: 2.99
From United Kingdom to U.S.A.
Destination, Rates & Speeds

5.

Published by Academic Press (2017)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 3
Print on Demand
Seller
Murray Media
(North Miami Beach, FL, U.S.A.)
Rating
[?]

Book Description Academic Press, 2017. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # P110123490405

More Information About This Seller | Ask Bookseller a Question

Buy New
59.18
Convert Currency

Add to Basket

Shipping: 2.40
Within U.S.A.
Destination, Rates & Speeds

6.

Published by ELSEVIER SCIENCE TECHNOLOGY, United States (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
The Book Depository US
(London, United Kingdom)
Rating
[?]

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 1996. Hardback. Book Condition: New. 238 x 162 mm. Language: English . Brand New Book. As computer systems continue to advance, the positions they hold in human society continue to gain power. Computers now control the flight of aircraft, the cooling systems in chemical plants, and feedback loops in nuclear reactors. Because of the vital roles these systems play, there has been growing concern about the reliability and safety of these advanced computers. Formal methods are now widely recognized as the most successful means of assuring the reliability of complex computer systems. Because formal methods are being mandated in more and more international standards, it is critical that engineers, managers, and industrial project leaders are well trained and conversant in the application of these methods. This book covers a broad range of issues relating to the pedagogy of formal methods. The contributors, all acknowledged experts, have based their contributions on extensive experiences teaching and applying formal methods in both academia and industry.The two editors, both well known in this area, propose various techniques that can help to dismiss myths that formal methods are difficult to use and hard to learn. Teaching and Learning Formal Methods will be an indispensable text for educators in the fields of computer science, mathematics, software engineering, and electronic engineering as well as to management and product leaders concerned with trainingrecent graduates. Bookseller Inventory # AA59780123490407

More Information About This Seller | Ask Bookseller a Question

Buy New
61.73
Convert Currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, Rates & Speeds

7.

C. Neville Dean (Editor), Michael G. Hinchey (Series Editor)
Published by Academic Press (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
Ergodebooks
(RICHMOND, TX, U.S.A.)
Rating
[?]

Book Description Academic Press, 1996. Hardcover. Book Condition: New. 1. Bookseller Inventory # DADAX0123490405

More Information About This Seller | Ask Bookseller a Question

Buy New
62.45
Convert Currency

Add to Basket

Shipping: 3.21
Within U.S.A.
Destination, Rates & Speeds

8.

Dean, C. Neville (Editor)/ Hinchey, Michael G. (Editor)
Published by Morgan Kaufmann Pub (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
Revaluation Books
(Exeter, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann Pub, 1996. Hardcover. Book Condition: Brand New. 1st edition. 285 pages. 9.00x6.00x0.50 inches. In Stock. Bookseller Inventory # __0123490405

More Information About This Seller | Ask Bookseller a Question

Buy New
75.16
Convert Currency

Add to Basket

Shipping: 6
From United Kingdom to U.S.A.
Destination, Rates & Speeds

9.

DEAN, C.; HINCHEY, MICHAEL
Published by Morgan Kaufmann (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 1996. Hardback. Book Condition: NEW. 9780123490407 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0891403

More Information About This Seller | Ask Bookseller a Question

Buy New
78
Convert Currency

Add to Basket

Shipping: 8
From United Kingdom to U.S.A.
Destination, Rates & Speeds

10.

DEAN, C.; HINCHEY, MICHAEL
Published by Morgan Kaufmann (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Hardcover Quantity Available: 1
Seller
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)
Rating
[?]

Book Description Morgan Kaufmann, 1996. Hardback. Book Condition: NEW. 9780123490407 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE01195690

More Information About This Seller | Ask Bookseller a Question

Buy New
78
Convert Currency

Add to Basket

Shipping: 8
From United Kingdom to U.S.A.
Destination, Rates & Speeds

There are more copies of this book

View all search results for this book