Teaching and Learning Formal Methods (Library and Information Science)

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today


Buy this book

Last edited by ImportBot
May 9, 2021 | History

Teaching and Learning Formal Methods (Library and Information Science)

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Morgan Kaufmann
Language
English
Pages
285

Buy this book

Previews available in: English

Edition Availability
Cover of: Teaching and Learning Formal Methods (Library and Information Science)
Teaching and Learning Formal Methods (Library and Information Science)
September 17, 1996, Morgan Kaufmann
in English
Cover of: Teaching and Learning Formal Methods
Teaching and Learning Formal Methods
1996, Elsevier Science & Technology Books
in English

Add another edition?

Book Details


First Sentence

"By formal methods of software development I mean methods that exploit the power of discrete mathematics (set theory and predicate calculus)."

Classifications

Library of Congress
, QA267.3 .T43 1996

ID Numbers

Open Library
OL7327112M
Internet Archive
teachinglearning0000unse_i2v2
ISBN 10
0123490405
ISBN 13
9780123490407
Library Thing
8048457
Goodreads
3146926

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON
May 9, 2021 Edited by ImportBot import existing book
August 4, 2020 Created by ImportBot import existing book