An edition of Software engineering mathematics (1988)

Software engineering mathematics

formal methods demystified

by

  • ★★★★★ 5.0 (1 rating) ·
  • 2 Want to read
  • 1 Have read
Cover of: Software engineering mathematics by Jim Woodcock, Jim Woodcock
Preview Only

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
Notes
  • ★★★★★ 5.0 (1 rating) ·
  • 2 Want to read
  • 1 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
December 19, 2023 | History
Edit
An edition of Software engineering mathematics (1988)

Software engineering mathematics

formal methods demystified

by

  • ★★★★★ 5.0 (1 rating) ·
  • 2 Want to read
  • 1 Have read

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

Publish Date
Publisher
Pitman
Language
English
Pages
291

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Computer science, Electronic digital computers, Mathematics, Programming, Software engineering, Computer programming, Electronic data processing, Algebra, Theoretische Informatik, Informatique, Mathématiques
Edition Availability
Cover of: Software engineering mathematics
Software engineering mathematics
1989, Addison-Wesley Pub. Co.
in English - North American ed.
Cover of: Software engineering mathematics
Software engineering mathematics: formal methods demystified
1988, Pitman
in English

Add another edition?

Book Details

Edition Notes

Includes index.

Published in
London

Classifications

Dewey Decimal Class
005.13/1
Library of Congress
QA76.6, QA76.758 .W659 1988

The Physical Object

Pagination
291 :
Number of pages
291

ID Numbers

Open Library
OL14360738M
Internet Archive
softwareengineer0000wood
ISBN 10
0273026739
LCCN
88029820
Library Thing
283463
Goodreads
6778561

Source records

Internet Archive item record
Promise Item
ISBNdb

Community Reviews (0)

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

Lists

See All

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
December 19, 2023 Edited by ImportBot import existing book
December 9, 2022 Edited by ImportBot import existing book
May 8, 2021 Edited by ImportBot import existing book
August 18, 2010 Edited by IdentifierBot added LibraryThing ID
September 12, 2008 Created by ImportBot Imported from Oregon Libraries MARC record