Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > General theory of computing > Mathematical theory of computation

Buy Now

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings (Paperback, 1997 ed.) Loot Price: R3,269
Discovery Miles 32 690
Repayment Terms: R306 pm x 12*
Add to cart
FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal...

FME '97 Industrial Applications and Strengthened Foundations of Formal Methods - 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997. Proceedings (Paperback, 1997 ed.)

John Fitzgerald, Cliff B. Jones, Peter Lucas

Series: Lecture Notes in Computer Science, 1313

 (sign in to rate)
Loot Price R3,269 Discovery Miles 32 690 | Repayment Terms: R306 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

This book constitutes the refereed proceedings of FME '97, the 4th International Symposium of Formal Methods Europe devoted to Industrial Applications and Strengthened Foundations of Formal Methods , held in Graz, Austria, in September 1997. The 35 revised full papers presented in the volume were selected from a total of 94 submissions. Formal methods and mathematically based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the papers in this volume describe industrial applications, extensions to existing techniques, or case studies; papers on theoretical aspects show clear potential applicability.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Lecture Notes in Computer Science, 1313
Release date: September 1997
First published: 1997
Editors: John Fitzgerald • Cliff B. Jones • Peter Lucas
Dimensions: 235 x 155 x 35mm (L x W x T)
Format: Paperback
Pages: 694
Edition: 1997 ed.
ISBN-13: 978-3-540-63533-8
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Promotions
LSN: 3-540-63533-5
Barcode: 9783540635338

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

Fibonacci Cubes With Applications And Variations (Hardcover): Omer Egecioglu, Sandi Klavzar, Michel Mollard
Fibonacci Cubes With Applications And…
Omer Egecioglu, Sandi Klavzar, … Hardcover R2,623 Discovery Miles 26 230
Discrete and Combinatorial Mathematics - Pearson New International Edition (Paperback, 5th edition): Ralph Grimaldi
Discrete and Combinatorial Mathematics…
Ralph Grimaldi Paperback R2,420 Discovery Miles 24 200
Forbidden Configurations in Discrete Geometry (Hardcover): David Eppstein
Forbidden Configurations in Discrete…
David Eppstein Hardcover R2,794 Discovery Miles 27 940
Machine Learning with Quantum Computers (Hardcover, 2nd ed. 2021): Maria Schuld, Francesco Petruccione
Machine Learning with Quantum Computers
Maria Schuld, Francesco Petruccione Hardcover R3,725 Discovery Miles 37 250
Modeling and Simulating Complex Business Perceptions - Using Graphical Models and Fuzzy Cognitive Maps (Hardcover, 1st ed....
Modeling and Simulating Complex Business…
Zoumpolia Dikopoulou Hardcover R3,681 Discovery Miles 36 810
Numerical Geometry, Grid Generation and Scientific Computing - Proceedings of the 10th International Conference, NUMGRID 2020 /...
Numerical Geometry, Grid Generation and…
Vladimir A. Garanzha, Lennard Kamenski, … Hardcover R6,533 Discovery Miles 65 330
Techniques for Searching, Parsing, and Matching (Hardcover, 1st ed. 2021): Alberto Pettorossi
Techniques for Searching, Parsing, and…
Alberto Pettorossi Hardcover R2,745 Discovery Miles 27 450
Fundamentals of Logic and Computation - With Practical Automated Reasoning and Verification (Hardcover, 1st ed. 2021): Zhe Hou
Fundamentals of Logic and Computation…
Zhe Hou Hardcover R940 Discovery Miles 9 400
Probability in Electrical Engineering and Computer Science - An Application-Driven Course (Hardcover, 1st ed. 2021): Jean...
Probability in Electrical Engineering…
Jean Walrand Hardcover R1,604 Discovery Miles 16 040
Schwarz Methods and Multilevel Preconditioners for Boundary Element Methods (Hardcover, 1st ed. 2021): Ernst P. Stephan, Thanh...
Schwarz Methods and Multilevel…
Ernst P. Stephan, Thanh Tran Hardcover R4,850 Discovery Miles 48 500
Logic and Implication - An Introduction to the General Algebraic Study of Non-classical Logics (Hardcover, 1st ed. 2021): Petr...
Logic and Implication - An Introduction…
Petr Cintula, Carles Noguera Hardcover R3,490 Discovery Miles 34 900
Hajnal Andreka and Istvan Nemeti on Unity of Science - From Computing to Relativity Theory Through Algebraic Logic (Hardcover,...
Hajnal Andreka and Istvan Nemeti on…
Judit Madarasz, Gergely Szekely Hardcover R3,027 Discovery Miles 30 270

See more
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners