Lecture Notes in Computer Science Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, , Book 873, (Hardcover)
(No ratings yet)
Key item features
- Lecture Notes in Computer Science Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, , Book 873, (Hardcover)
- Author: Springer
- ISBN: 9783540585558
- Format: Hardcover
- Publication Date: 1994-10-12
- Page Count: 732
Specs
- Book formatHardcover
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date19941012
- Pages732
- SubgenreProgramming
Current price is USD$109.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Sat, Apr 4
.Order within 11 hr 13 min
Sold and shipped by Walmart.com
Free 90-day returns
This item is gift eligible
More seller options (1)
Starting from $109.99
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systematic methods; these contributions advance the foundations of formal methods and demonstrate their practical value.
- Lecture Notes in Computer Science Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, , Book 873, (Hardcover)
- Author: Springer
- ISBN: 9783540585558
- Format: Hardcover
- Publication Date: 1994-10-12
- Page Count: 732
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
Hardcover
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
19941012
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 NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback) $131.95
$13195current price $131.95Lecture Notes in Computer Science NASA Formal Methods: 16th International Symposium, Nfm 2024, Moffett Field, Ca, Usa, June 4-6, 2024, Proceedings, Book 14627, (Paperback)
Lecture Notes in Computer Science Pattern Recognition: 27th International Conference, Icpr 2024, Kolkata, India, December 1-5, 2024, Proceedings, Part XXI, Book 15321, (Paperback) $79.99
$7999current price $79.99Lecture Notes in Computer Science Pattern Recognition: 27th International Conference, Icpr 2024, Kolkata, India, December 1-5, 2024, Proceedings, Part XXI, Book 15321, (Paperback)
Lecture Notes in Computer Science Computational Science - Iccs 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III, Book 14834, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Computational Science - Iccs 2024: 24th International Conference, Malaga, Spain, July 2-4, 2024, Proceedings, Part III, Book 14834, (Paperback)
Lecture Notes in Computer Science Hci in Mobility, Transport, and Automotive Systems: 4th International Conference, Mobitas 2022, Held as Part of the 24th, Book 13335, (Paperback) $104.92
$10492current price $104.92Lecture Notes in Computer Science Hci in Mobility, Transport, and Automotive Systems: 4th International Conference, Mobitas 2022, Held as Part of the 24th, Book 13335, (Paperback)
Lecture Notes in Computer Science Foundations and Practice of Security: 16th International Symposium, Fps 2023, Bordeaux, France, December 11-13, 2023, Re, Book 14551, (Paperback) $89.99
$8999current price $89.99Lecture Notes in Computer Science Foundations and Practice of Security: 16th International Symposium, Fps 2023, Bordeaux, France, December 11-13, 2023, Re, Book 14551, (Paperback)
Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Nethe, Book 551, (Paperback) $109.99
$10999current price $109.99Lecture Notes in Computer Science VDM '91. Formal Software Development Methods. 4th International Symposium of VDM Europe, Noordwijkerhout, the Nethe, Book 551, (Paperback)
Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15381, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Hci International 2024 - Late Breaking Papers: 26th International Conference on Human-Computer Interaction, Hcii 2024, W, Book 15381, (Paperback)
Lecture Notes in Computer Science Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, C, Book 3185, (Paperback) $51.04
$5104current price $51.04Lecture Notes in Computer Science Formal Methods for the Design of Real-Time Systems: International School on Formal Methods for the Design of Computer, C, Book 3185, (Paperback)
Lecture Notes in Computer Science Integrated Formal Methods: 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, Book 13274, (Paperback) $83.08
$8308current price $83.08Lecture Notes in Computer Science Integrated Formal Methods: 17th International Conference, Ifm 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings, Book 13274, (Paperback)
Lecture Notes in Computer Science Hci in Mobility, Transport, and Automotive Systems: 5th International Conference, Mobitas 2023, Held as Part of the 25th, Book 14048, (Paperback) $75.65 Was $89.99
$7565current price $75.65, Was $89.99$89.99Lecture Notes in Computer Science Hci in Mobility, Transport, and Automotive Systems: 5th International Conference, Mobitas 2023, Held as Part of the 25th, Book 14048, (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 Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 20, Book 13704, (Paperback) $61.19 Was $69.99
$6119current price $61.19, Was $69.99$69.99Lecture Notes in Computer Science Leveraging Applications of Formal Methods, Verification and Validation. Practice: 11th International Symposium, Isola 20, Book 13704, (Paperback)
Lecture Notes in Computer Science Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11,, Book 14952, (Paperback) $64.99
$6499current price $64.99Lecture Notes in Computer Science Formal Methods for Industrial Critical Systems: 29th International Conference, Fmics 2024, Milan, Italy, September 9-11,, Book 14952, (Paperback)
Lecture Notes in Computer Science Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 202, Book 15537, (Paperback) $64.99
$6499current price $64.99Lecture Notes in Computer Science Practical Aspects of Declarative Languages: 27th International Symposium, Padl 2025, Denver, Co, Usa, January 20-21, 202, Book 15537, (Paperback)
Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15812, (Paperback) $53.02
$5302current price $53.02Lecture Notes in Computer Science Adaptive Instructional Systems: 7th International Conference, Ais 2025, Held as Part of the 27th Hci International Confe, Book 15812, (Paperback)
Lecture Notes in Computer Science Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory , Book 2985, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Compiler Construction: 13th International Conference, CC 2004, Held as Part of the Joint European Conferences on Theory , Book 2985, (Paperback)
Lecture Notes in Computer Science Structured Object-Oriented Formal Language and Method: 11th International Workshop, Sofl msvl 2022, Madrid, Spain, Octob, Book 13854, (Paperback) $53.48 Was $59.99
$5348current price $53.48, Was $59.99$59.99Lecture Notes in Computer Science Structured Object-Oriented Formal Language and Method: 11th International Workshop, Sofl msvl 2022, Madrid, Spain, Octob, Book 13854, (Paperback)
Lecture Notes in Computer Science Information and Communications Security: 26th International Conference, Icics 2024, Mytilene, Greece, August 26-28, 2024, Book 15057, (Paperback) $74.99
$7499current price $74.99Lecture Notes in Computer Science Information and Communications Security: 26th International Conference, Icics 2024, Mytilene, Greece, August 26-28, 2024, Book 15057, (Paperback)
Lecture Notes in Computer Science Parle '92. Parallel Architectures and Languages Europe: 4th International Parle Conference, Paris, France, June 15-, Book 605, (Paperback) $60.29
$6029current price $60.29Lecture Notes in Computer Science Parle '92. Parallel Architectures and Languages Europe: 4th International Parle Conference, Paris, France, June 15-, Book 605, (Paperback)
Lecture Notes in Computer Science Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisba, Book 14308, (Paperback) $69.99
$6999current price $69.99Lecture Notes in Computer Science Formal Methods and Software Engineering: 24th International Conference on Formal Engineering Methods, ICFEM 2023, Brisba, Book 14308, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
