Hero image 0 of Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback), 0 of 1
Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback)
- Author: Springer
- ISBN: 9783540548683
- Format: Paperback
- Publication Date: 1991-10-14
- Page Count: 433
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Publication dateOctober, 1991
- Pages433
- Number in series552
Current price is USD$54.99
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives between May 1 - May 4
|Shipping fee $7.98
Sold and shipped by Best Prices & Service
4.359183673469388 stars out of 5, based on 245 seller reviews(4.4)245 seller reviews
Free 30-day returns - in store or online
About this item
Product details
The proceedings of the fourth VDM Symposium are presented here in two volumes. Volume 1 contains invited and contributed papers, reports and abstracts. Volume 2 contains introductory and advanced tutorials. A large number of methods for formal software development besides VDM are presented.
- Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Netherland, Book 552, (Paperback)
- Author: Springer
- ISBN: 9783540548683
- Format: Paperback
- Publication Date: 1991-10-14
- Page Count: 433
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Publication date
October, 1991
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint Europ, Book 1382, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Fundamental Approaches to Software Engineering: First International Conference, Fase'98, Held as Part of the Joint Europ, Book 1382, (Paperback)
Lecture Notes in Computer Science Functional Programming Languages in Education: 1st International Symposium Fple '95 Nijmegen, the Netherlands, December , Book 1022, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Functional Programming Languages in Education: 1st International Symposium Fple '95 Nijmegen, the Netherlands, December , Book 1022, (Paperback)
Lecture Notes in Computer Science Trees in Algebra and Programming - Caap '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Procee, Book 1059, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Trees in Algebra and Programming - Caap '96: 21st International Colloquium, Linköping, Sweden, April 22-24, 1996. Procee, Book 1059, (Paperback)
Lecture Notes in Computer Science Compiler Construction: 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings., Book 1060, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Compiler Construction: 6th International Conference, CC '96, Linköping, Sweden, April 24 - 26, 1996. Proceedings., Book 1060, (Paperback)
Lecture Notes in Computer Science Computing in Object-Oriented Parallel Environments: Second International Symposium, Iscope 98, Santa Fe, Nm, Usa, Decemb, Book 1505, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Computing in Object-Oriented Parallel Environments: Second International Symposium, Iscope 98, Santa Fe, Nm, Usa, Decemb, Book 1505, (Paperback)
Lecture Notes in Computer Science Randomization and Approximation Techniques in Computer Science: Second International Workshop, Random'98, Barcelona, Spa, Book 1518, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Randomization and Approximation Techniques in Computer Science: Second International Workshop, Random'98, Barcelona, Spa, Book 1518, (Paperback)
Lecture Notes in Computer Science Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access: 6th International Conference on , Book 2911, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Digital Libraries: Technology and Management of Indigenous Knowledge for Global Access: 6th International Conference on , Book 2911, (Paperback)
Lecture Notes in Computer Science Implementation of Functional Languages: 12th International Workshop, Ifl 2000 Aachen, Germany, September 4-7, 2000. Sele, Book 2011, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Implementation of Functional Languages: 12th International Workshop, Ifl 2000 Aachen, Germany, September 4-7, 2000. Sele, Book 2011, (Paperback)
Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Nether, Book 982, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Programming Languages: Implementations, Logics and Programs: 7th International Symposium, Plilp '95, Utrecht, the Nether, Book 982, (Paperback)
Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Utility Computing: 15th Ifip/IEEE International Workshop on Distributed Systems: Operations and Management, Dsom 2004, D, Book 3278, (Paperback)
Lecture Notes in Computer Science Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European, Book 2618, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European, Book 2618, (Paperback)
Lecture Notes in Computer Science Ecoop '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings, Book 1241, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Ecoop '97 - Object-Oriented Programming: 11th European Conference, Jyväskylä, Finland, June 9 - 13, 1997, Proceedings, Book 1241, (Paperback)
Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, Lyngby, Denmark, Sept, Book 1486, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, Ftrtft'98, Lyngby, Denmark, Sept, Book 1486, (Paperback)
Lecture Notes in Computer Science Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28,, Book 2644, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Testing of Communicating Systems: 15th Ifip International Conference, Testcom 2003, Sophia Antipolis, France, May 26-28,, Book 2644, (Paperback)
Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15813, (Paperback) $84.99
$8499current price $84.99Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15813, (Paperback)
Lecture Notes in Computer Science Advanced Information Systems Engineering: 8th International Conference, Caise'96, Herakleion, Crete, Greece, May (20-24), Book 1080, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Advanced Information Systems Engineering: 8th International Conference, Caise'96, Herakleion, Crete, Greece, May (20-24), Book 1080, (Paperback)
Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback) $56.14 Was $109.00
$5614current price $56.14, Was $109.00$109.00Lecture Notes in Computer Science Pervasive Computing: First International Conference, Pervasive 2002, Zürich, Switzerland, August 26-28, 2002. Proceeding, Book 2414, (Paperback)
Lecture Notes in Computer Science Programming Languages and Systems: 8th European Symposium on Programming, Esop'99 Held as Part of the Joint European Con, Book 1576, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Programming Languages and Systems: 8th European Symposium on Programming, Esop'99 Held as Part of the Joint European Con, Book 1576, (Paperback)
Lecture Notes in Computer Science Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, Septem, Book 844, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Programming Language Implementation and Logic Programming: 6th International Symposium, Plilp '94, Madrid, Spain, Septem, Book 844, (Paperback)
Lecture Notes in Computer Science Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Co, Book 1381, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Programming Languages and Systems: 7th European Symposium on Programming, Esop'98, Held as Part of the Joint European Co, Book 1381, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
