Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

Formal Methods and Software Development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985

EnglishPaperback / softback
Springer, Berlin
EAN: 9783540151999
On order
Delivery on Monday, 27. of January 2025
CZK 1,238
Common price CZK 1,375
Discount 10%
pc
Do you want this product today?
Oxford Bookshop Praha Korunní
not available
Librairie Francophone Praha Štěpánská
not available
Oxford Bookshop Ostrava
not available
Oxford Bookshop Olomouc
not available
Oxford Bookshop Plzeň
not available
Oxford Bookshop Brno
not available
Oxford Bookshop Hradec Králové
not available
Oxford Bookshop České Budějovice
not available
Oxford Bookshop Liberec
not available
EAN 9783540151999
ISBN 3540151990
Binding Paperback / softback
Publisher Springer, Berlin
Publication date March 1, 1985
Pages 459
Language English
Dimensions 235 x 155
Country Germany
Readership Professional & Scholarly
Illustrations XVII, 459 p.
Editors Ehrig Hartmut; Floyd Christiane; Nivat Maurice; Thatcher James
Series Lecture Notes in Computer Science