Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Industrial-Strength Formal Methods in Practice

Language EnglishEnglish
Book Paperback
Book Industrial-Strength Formal Methods in Practice Michael G. Hinchey
Libristo code: 01435295
Publishers Springer London Ltd, September 1999
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone... Full description
? points 398 b
59 785 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Математические таблицы Тхомас Магето / Book Paperback
common.buy 14 189 Ft
BOHMISCHE POLKAS ACCORDEON JOE ALEX Printed items Sheet music
common.buy 7 803 Ft
Лошади / Book Paperback
common.buy 5 125 Ft
Dziennik moskiewski Walter Benjamin / Book Paperback
common.buy 4 945 Ft
Láska a jiná slova Christina Lauren / Book Hardback
common.buy 2 825 Ft
Der Anachronismus Anarchischer Komik Daniel Arnet / Book Paperback
common.buy 34 275 Ft
Junior:: 3 guide pédagogique Butzbach / Book Paperback
common.buy 7 277 Ft
Speak Ukrainian correctly L. Savchenko / Book Hardback
common.buy 4 162 Ft
Soziologie der Parteien Jenni Brichzin / E-book Adobe ePub DRM
common.buy 21 603 Ft
Slon africký / Game/Toy Toy
common.buy 4 148 Ft
Top
Kolejka Błażeja. Mały chłopiec Emilie Beaumont / Book Hardback
common.buy 1 280 Ft
La vie est facile ne t'inquiète pas / Les gens heureux lisent et boivent du café Agnès Martin-Lugand / Book Paperback
common.buy 5 741 Ft
L'Oracle d'enquête - Un oracle unique pour résoudre une incroyable enquête occulte Emmanuelle Iger / Game/Toy Game
common.buy 8 073 Ft
Light Darkest Audio Audio CD
common.buy 5 186 Ft
Urny patřej na hřbitov Jiří Urban / Book Paperback
common.buy 1 294 Ft
Forex Trading Mark Graham / Book Paperback
common.buy 4 840 Ft
Destellos de Casiopea Cesar Rubio Aracil / Book Paperback
common.buy 5 485 Ft
Das Ende des Glaubens Sam Harris / Book Hardback
common.buy 6 447 Ft
Manoppello-Code Markus van den Hövel / Book Paperback
common.buy 5 727 Ft
Deutsche Nationalhymnen Bernhard Höfele / Book Paperback
common.buy 3 456 Ft
Finanzmarktkrise 2008/2009 und ihre Folgen Martin Schaarschmidt / Book Paperback
common.buy 5 395 Ft
Nuclear Security Systems and Measures for Major Public Events (Spanish Edition) IAEA / Book Paperback
common.buy 15 573 Ft
ADHS Wolfdieter Jenett / Book Paperback
common.buy 7 125 Ft
Der soziale Rechtsstaat als Alternative zur autoritären Herrschaft. Eun-Jeung Lee / Book Paperback
common.buy 27 088 Ft

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Industrial-Strength Formal Methods in Practice
Author Michael G. Hinchey, Jonathan P. Bowen
Language English
Binding Book - Paperback
Date of issue 1999
Number of pages 400
EAN 9781852336400
ISBN 1852336404
Libristo code 01435295
Publishers Springer London Ltd
Weight 1290
Dimensions 155 x 235 x 23

Categories

Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

101 Ways to Get Her to Dump You After the First Date. Jennifer A Kilmer / Book Paperback
common.buy 4 779 Ft
Peggy Dean's Guide to Nature Drawing Peggy Dean / Book Paperback
common.buy 7 201 Ft
Top
Sprawlball Kirk Goldsberry / Book Hardback
common.buy 7 471 Ft
George Washington's 1790 Grand Tour of Long Island Dr Joanne S Grasso / Book Paperback
common.buy 7 486 Ft
Blue Horizon, 3 Wilbur Smith / Book Paperback
common.buy 6 011 Ft
Alternative Uses of Dermatoscopy, An Issue of Dermatologic Clinics Giuseppe Micali / Book Hardback
common.buy 37 011 Ft
Multi-Criteria Decision Making Approaches for Supplier Selection Vinod Yadav / Book Paperback
common.buy 12 776 Ft
Insights For The Senior's Ministry: Understanding The Myths & Truths Of The Aging Process Dr Joseph R Rogers Sr / Book Paperback
common.buy 5 125 Ft
Bosna u Istorijskoj Perspektivi Camil Ef J Avdic / Book Paperback
common.buy 6 177 Ft
Anthropological Investigations on one Thousand White and Colored Children of Both Sexes, the Inmates of the New York Juvenile Asylum, With Additional ALES HRDLICKA / Book Hardback
common.buy 14 810 Ft
Love, Marriage, Divorce and Remarriage: Second Edition Raymond E Parry / Book Paperback
common.buy 3 366 Ft
Moving With Words & Actions Rhonda Clements / Book Paperback
common.buy 16 867 Ft
Introduction to Tensor Analysis and the Calculus of Moving Surfaces Pavel Grinfeld / Book Paperback
common.buy 20 010 Ft
China's Maritime Silk Road and Asia Vijay Sakhuja / Book Paperback
common.buy 12 416 Ft
Gellerman's International Reed Organ Atlas Robert F. Gellerman / Book Hardback
common.buy 14 748 Ft
Anestesia E Malattie Concomitanti: Fisiopatologia E Clinica de Periodo Perioperatorio G.L. ALATI / Book Paperback
common.buy 20 413 Ft
Illustrated History of the Herbals Frank J Anderson / Book Paperback
common.buy 6 011 Ft
Effect of Blade Cooling on Performance of a Gas Turbine Power Plant. Bernard L. Buteau / Book Paperback
common.buy 7 215 Ft
Pseudomonarchia Daemonum Cai Porter / Book Paperback
common.buy 4 779 Ft
Gene Regulation and Epigenetics Carsten Carlberg / Book Hardback
common.buy 33 929 Ft
Divine Contradiction Beall / Book Hardback
common.buy 38 096 Ft
Thing About Luck Cynthia Kadohata / Audiobook MP3
common.buy 7 035 Ft
Customer Success Economy Nick Mehta / E-book Adobe ePub DRM
common.buy 8 751 Ft
World War II: Aftermath of World War II Elisabeth Herschbach / Book Paperback
common.buy 4 584 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?