> Details

Bjoerner, Dines [Editor] ; International Conference Formal Methods in Programming and Their Applications 1993 Nowosibirsk

Formal methods in programming and their applications

Reference
management

Direct link

Bookmarks

Remove from
bookmarks

Share this by email

Share this on Twitter

Share this on Facebook

Share this on Whatsapp

Bookmarks

Media type: Book; Conference Proceedings
Title: Formal methods in programming and their applications : international conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993; proceedings
Contributor: Bjoerner, Dines [Hrsg.]
Event: International Conference Formal Methods in Programming and Their Applications
imprint: Berlin; Heidelberg [u.a.]: Springer, 1993
Published in: Lecture notes in computer science ; 735
Extent: IX, 433 S.; graph. Darst
Language: English
ISBN: 354057316X; 038757316X
RVK notation: SS 4800 : Lecture notes in computer science
SS 1993 : Veranstaltungsjahr 1993
ST 130 : Allgemeines
Keywords: Formale Spezifikationstechnik
Formale Spezifikationstechnik
Spezifikationstechnik
Origination:
Footnote: Literaturangaben

0 copy copies

of which 0 immediately available

of which 0 available for order

of which 0 not available

show less

(0)

Delivery expected: 1 - 2 days after order