Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
Fme '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24 - 28, 1994. Proceedings
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 ...
Read More
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.
Read Less
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $10.99, good condition, Sold by GuthrieBooks rated 5.0 out of 5 stars, ships from Spring Branch, TX, UNITED STATES, published 1994 by Springer.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $52.58, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1994 by Springer.
Add this copy of Fme '94 Industrial Benefit of Formal Methods: Second to cart. $87.51, good condition, Sold by True Oak Books rated 5.0 out of 5 stars, ships from Highland, NY, UNITED STATES, published 1994 by Springer.
Edition:
1st Edition (Unstated); No Printing Stated
Publisher:
Springer
Published:
1994
Language:
English
Alibris ID:
18414364142
Shipping Options:
Standard Shipping: $4.97
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good+ Vol. 873; 6.1 X 1.67 X 9.25 inches; 723 pages; Ex-Library copy with usual identifiers. Very slightly cocked spine. Minor rubbing on the covers. Scratches on the bottom exterior edge of textblock. Light yellowing on pages. Good condition otherwise. No other noteworthy defects. No markings on text pages.; -Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be carefully cushioned in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
Add this copy of Fme *94: Industrial Benefit of Formal Methods to cart. $98.34, new condition, Sold by discount_scientific_books rated 5.0 out of 5 stars, ships from Sterling Heights, MI, UNITED STATES, published 1994 by Springer.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1994 by Springer.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $118.10, like new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Glued binding. 732 p. Lecture Notes in Computer Science, 873. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $122.42, new condition, Sold by GreatBookPricesUK5 rated 5.0 out of 5 stars, ships from Castle Donington, DERBYSHIRE, UNITED KINGDOM, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Glued binding. 732 p. Lecture Notes in Computer Science, 873. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $122.45, new condition, Sold by Ria Christie Books rated 4.0 out of 5 stars, ships from Uxbridge, MIDDLESEX, UNITED KINGDOM, published 1994 by Springer.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $123.67, new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
New. Glued binding. 732 p. Lecture Notes in Computer Science, 873. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
Add this copy of Fme '94: Industrial Benefit of Formal Methods: Second to cart. $123.67, like new condition, Sold by GreatBookPrices rated 4.0 out of 5 stars, ships from Columbia, MD, UNITED STATES, published 1994 by Springer.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Fine. Glued binding. 732 p. Lecture Notes in Computer Science, 873. In Stock. 100% Money Back Guarantee. Brand New, Perfect Condition, allow 4-14 business days for standard shipping. To Alaska, Hawaii, U.S. protectorate, P.O. box, and APO/FPO addresses allow 4-28 business days for Standard shipping. No expedited shipping. All orders placed with expedited shipping will be cancelled. Over 3, 000, 000 happy customers.
