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

Formal Methods and Testing

An Outcome of the FORTEST Network. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Formal Methods and Testing Robert M. Hierons
Libristo code: 01570095
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, April 2008
This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Te... Full description
? points 136 b
20 331 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Leczenie krwia Anna Klimczyk / Book Paperback
common.buy 7 979 Ft
Psicología profunda y nueva ética : nueva valoración de la conducta humana a la luz de la psicología moderna Erich Neumann / Book Paperback
common.buy 5 062 Ft
Die Rose von Asturien Iny Lorentz / Book Paperback
common.buy 5 373 Ft
Roboty z planety świtu Asimov Isaac / Book Hardback
common.buy 6 166 Ft
Unitary Developmental Theory and Psychological Development Across the Lifespan, Volume 1 Sweeney / Book Paperback
common.buy 23 343 Ft
Judaeans by the Waters of Babylon: New Historical Evidence in Cuneiform Sources from Rural Babylonia Wunsch Book Hardback
common.buy 72 541 Ft
Mundakupunktur Jochen M. Gleditsch / Book Paperback
common.buy 14 316 Ft
El bilingüismo Rosario Rodríguez de Tembleque / Book Paperback
common.buy 14 240 Ft
Bedeutung von Symbolen fur die Politik Katharina Werner / Book Paperback
common.buy 6 407 Ft
Reorganisation und Konzentration im Seeverkehr Alexander Wijgers / Book Paperback
common.buy 6 407 Ft
Workflows Sharepoint(R) Designer 2013, Concepts Et Travaux Pratiques Claude COUDERC / Book Paperback
common.buy 18 324 Ft
Revue Réseaux Volume 34-196/2016 : Lieux et création Revue Réseaux / Book Paperback
common.buy 11 171 Ft
Essays Ralph Waldo Emerson / Book Paperback
common.buy 10 614 Ft
Posliednie Chasy Zhizni Imperatora Nikolaia Pervago Andre Savine Collection / Book Paperback
common.buy 5 704 Ft
Encyklopedie geologie Jan Petránek / Book Hardback
common.buy 7 144 Ft
Geodesia Fisica Joan Josep Martinez-Benjamin / Book Paperback
common.buy 8 536 Ft
Klavier-Assoziationen Tatjana Davidoff / Printed items Sheet music
common.buy 6 738 Ft
Affordable
Kurzfassung in Einfacher Sprache. Alles andere als normal Yvette Wagner / Book Paperback
common.buy 269 Ft
Die gegenwärtige Krise Europas Martin Kirschner / Book Paperback
common.buy 14 240 Ft

This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network, established under UK EPSRC funding to investigate the relationships between formal (and semi-formal) methods and software testing.

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 Formal Methods and Testing
Author Robert M. Hierons, Jonathan P. Bowen, Mark Harman
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 370
EAN 9783540789161
ISBN 3540789162
Libristo code 01570095
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 594
Dimensions 235 x 157 x 27

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Operating systems
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

Adaptive Multimedia Retrieval: Retrieval, User, and Semantics Nozha Boujemaa / Book Paperback
common.buy 20 331 Ft
KI 2005: Advances in Artificial Intelligence Ulrich Furbach / Book Paperback
common.buy 20 331 Ft
The Hamm Rules on Relationships, Leadership, Community, and Love Leonard Hamm / Book Paperback
common.buy 7 172 Ft
New Perspectives on the History of Life Sciences and Agriculture Sharon Kingsland / Book Paperback
common.buy 68 844 Ft
Cosmos, Earth and Mankind Astronomy for Kids Vol I Astronomy & Space Science Baby Professor / Book Paperback
common.buy 5 704 Ft
The practical Nature of the theological Writings of Emanuel Swedenborg Augustus Clissold / Book Paperback
common.buy 12 380 Ft
Stepping Out of Line: Collected (Nonconformist) Essays on Russian-American Relations, 2008-12 Gilbert Doctorow / Book Paperback
common.buy 8 626 Ft
High Performance Shake and Juice Recipes for Triathletes: Increase Muscle and Drop Excess Fat to Become Faster, Stronger, and Leaner Correa (Certified Sports Nutritionist) / Book Paperback
common.buy 8 281 Ft
Introduction to Hydrogen Technology 2nd Edition K. S. V. Santhanam / Book Hardback
common.buy 57 376 Ft
Duchess Danielle Steel / Book Paperback
common.buy 3 069 Ft
Understanding German Real Estate Markets TOBIAS JUST / Book Paperback
common.buy 25 855 Ft
What Makes A Man Ur Friend? Kenneth Jones / Book Paperback
common.buy 4 042 Ft
Stop Being Afraid! 5 Steps to Transform your Conversations about Racism: Lean in and Plant a Seed Erika Fitz / Book Paperback
common.buy 9 330 Ft
Meeting Notes: For project and task organization Sections include attendees, notes, and action items Ernest Sullivan / Book Paperback
common.buy 2 993 Ft
Lectures On The Art Of Reading, Part 2: The Art Of Reading Verse (1775) Thomas Sheridan / Book Paperback
common.buy 14 193 Ft
Responsa Prudentum V2: Or Opinions of Pandits (1825) Thomas Strange / Book Paperback
common.buy 15 675 Ft
Breast Pathology: Diagnosis and Insights, An Issue of Surgical Pathology Clinics Stuart J Schnitt / Book Hardback
common.buy 33 046 Ft
Fluid Mechanics and Turbomachinery Sultanian / Book Paperback
common.buy 44 080 Ft
Model Motor Boats - Being No. 2 of the Model Maker Series of Practical Handbooks Covering Every Phase of Model Building and Design Edward W. Hobbs / E-book Adobe ePub DRM
common.buy 4 103 Ft
Beginner's Guide to the Akashic Records Whitney Jefferson Evans / Audiobook MP3
common.buy 5 538 Ft
On The Art Of Reading Arthur Quiller-Couch / Book Paperback
common.buy 8 310 Ft
Between the Lines: Secret Service Stories Told Fifty Years After Henry Bascom Smith / Book Hardback
common.buy 14 193 Ft
The Architectural Digest: Southern California Ed Anonymous / Book Hardback
common.buy 11 620 Ft
The Palestinian National Revival – In the Shadow of the Leadership Crisis, 1937–1967 Moshe Shemesh / Book Paperback
common.buy 15 902 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?