An edition of Formal methods in programming and their applications (1993)

Formal methods in programming and their applications

international conference, Academgorodok, Russia, June/July 1993 : proceedings

by and

Cover of: Formal methods in programming and their applications by D. Bjørner, M. Broy
Read

My Reading Lists:

Create a new list
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by MARC Bot
July 23, 2024 | History
Edit
An edition of Formal methods in programming and their applications (1993)

Formal methods in programming and their applications

international conference, Academgorodok, Russia, June/July 1993 : proceedings

by and

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

Publish Date
Publisher
Springer-Verlag
Language
English
Pages
433

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Formal methods (Computer science) Computer programming Mathematical Logic and Formal Languages Software engineering Algebra Symbolic and Algebraic Manipulation Computer Science Logic design Logics and Meanings of Programs Artificial Intelligence (incl. Robotics) Data processing Programming Languages, Compilers, Interpreters Artificial intelligence System design
Edition Availability
Cover of: Formal Methods in Programming and Their Applications
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceeding (Lecture Notes in Computer Science)
November 1993, Springer
Paperback in English
Cover of: Formal methods in programming and their applications
Formal methods in programming and their applications: international conference, Academgorodok, Russia, June/July 1993 : proceedings
1993, Springer-Verlag
in English
Cover of: Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993
Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia June 28-July 2, 1993 : Proceedings (Lecture Notes in Computer Science)
October 1993, Springer

Add another edition?

Book Details

Edition Notes

Published in
Berlin, New York
Series
Lecture notes in computer science ;, 735

Classifications

Dewey Decimal Class
005.1
Library of Congress
QA76.6 .F577 1993, QA75.5-76.95

The Physical Object

Pagination
ix, 433 p. :
Number of pages
433

Edition Identifiers

Open Library
OL1412398M
Internet Archive
formalmethodspro00bjor
ISBN 10
354057316X, 038757316X
LCCN
93021317
OCLC/WorldCat
28851396
LibraryThing
87142
Goodreads
3775686

Work Identifiers

Work ID
OL18295905W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Download catalog record: RDF / JSON / OPDS | Wikipedia citation