Teaching and Learning Formal Methods (Library and Information Science)

0 avg rating
( 0 ratings by Goodreads )
 
9780123490407: Teaching and Learning Formal Methods (Library and Information Science)
View all copies of this ISBN edition:
 
 

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.

  • 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

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

From the Back Cover:

The aim of this book is to cover a broad range of issues relating to the pedagogy of formal methods. The two editors, both well known in this area, aim to show how this very important subject area can be successfully taught to software and hardware engineers, even those without a strong mathematical background, by proposing various techniques that can help to surmount the technology transfer hurdle.

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.

Buy New View Book
List Price: US$ 129.00
US$ 88.86

Convert currency

Shipping: FREE
From United Kingdom to U.S.A.

Destination, rates & speeds

Add to Basket

Top Search Results from the AbeBooks Marketplace

1.

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. Condition: New. 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. Seller Inventory # AA59780123490407

More information about this seller | Contact this seller

Buy New
US$ 88.86
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

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

Book Description ELSEVIER SCIENCE TECHNOLOGY, United States, 1996. Hardback. Condition: New. 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. Seller Inventory # AA59780123490407

More information about this seller | Contact this seller

Buy New
US$ 108.85
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

3.

ISBN 10: 0123490405 ISBN 13: 9780123490407
New Quantity Available: 1
Seller:
BennettBooksLtd
(San Diego, CA, U.S.A.)
Rating
[?]

Book Description Condition: New. New. Seller Inventory # STR-0123490405

More information about this seller | Contact this seller

Buy New
US$ 103.91
Convert currency

Add to Basket

Shipping: US$ 4.95
Within U.S.A.
Destination, rates & speeds

4.

Brewin, Kate
Published by Elsevier (2016)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Paperback Quantity Available: 1
Print on Demand
Seller:
Ria Christie Collections
(Uxbridge, United Kingdom)
Rating
[?]

Book Description Elsevier, 2016. Paperback. Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Seller Inventory # ria9780123490407_lsuk

More information about this seller | Contact this seller

Buy New
US$ 108.61
Convert currency

Add to Basket

Shipping: US$ 5.06
From United Kingdom to U.S.A.
Destination, rates & speeds

5.

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. Condition: NEW. 9780123490407 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE0891403

More information about this seller | Contact this seller

Buy New
US$ 105.08
Convert currency

Add to Basket

Shipping: US$ 10.46
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

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. Condition: NEW. 9780123490407 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE01195690

More information about this seller | Contact this seller

Buy New
US$ 105.08
Convert currency

Add to Basket

Shipping: US$ 10.46
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

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

Book Description Morgan Kaufmann 1996-09-06, 1996. Condition: New. Brand new book, sourced directly from publisher. Dispatch time is 3-4 working days from our warehouse. Book will be sent in robust, secure packaging to ensure it reaches you securely. Seller Inventory # NU-ELSPD-00002599

More information about this seller | Contact this seller

Buy New
US$ 85.51
Convert currency

Add to Basket

Shipping: US$ 39.13
From United Kingdom to U.S.A.
Destination, rates & speeds

8.

C. Neville Dean
Published by Elsevier Science and Technology (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Quantity Available: > 20
Print on Demand
Seller:
Pbshop
(Wood Dale, IL, U.S.A.)
Rating
[?]

Book Description Elsevier Science and Technology, 1996. HRD. Condition: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780123490407

More information about this seller | Contact this seller

Buy New
US$ 130.83
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

9.

C. Neville Dean
Published by Elsevier Science and Technology (1996)
ISBN 10: 0123490405 ISBN 13: 9780123490407
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)
Rating
[?]

Book Description Elsevier Science and Technology, 1996. HRD. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # IQ-9780123490407

More information about this seller | Contact this seller

Buy New
US$ 135.83
Convert currency

Add to Basket

Shipping: US$ 11.77
From United Kingdom to U.S.A.
Destination, rates & speeds

10.

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. Condition: New. 1. Seller Inventory # DADAX0123490405

More information about this seller | Contact this seller

Buy New
US$ 149.44
Convert currency

Add to Basket

Shipping: US$ 3.99
Within U.S.A.
Destination, rates & speeds

There are more copies of this book

View all search results for this book