Code: 01570095
Formal Methods and Testing
by Robert M. Hierons, Jonathan P. Bowen, Mark Harman
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) meth ... more
- Language:
English - Binding: Paperback
- Number of pages: 370
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008
- More about this
55.93 €
Low in stock at our supplier
Shipping in 11 - 15 days
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Add to wishlist
You might also like
-
Economics: The User's Guide
12.25 € -30 % -
Roboty z planety świtu
17.02 € -13 % -
Duchess
7.69 € -26 % -
Introduction to Hydrogen Technology 2nd Edition
148.87 € -
Happiness Forever
9.72 € -29 % -
The Architectural Digest: Southern California Ed
28.37 € -1 % -
On The Art Of Reading
20.26 € -2 % -
Kurzfassung in Einfacher Sprache. Alles andere als normal
0.70 € -91 % -
Klavier-Assoziationen
17.02 € -15 % -
Die Rose von Asturien
15.80 € -5 % -
Leczenie krwia
20.46 € -
Probate, Wills, & Trusts
25.12 € -
Psicología profunda y nueva ética : nueva valoración de la conducta humana a la luz de la psicología moderna
14.08 € -
Bedeutung von Symbolen fur die Politik
16.21 € -10 % -
Blooming Again
26.54 € -1 % -
KI 2005: Advances in Artificial Intelligence
55.93 € -
Teaching Climate Change in the Humanities
200.15 € -
Tudors on Film and Television
47.32 € -
Meeting Notes: For project and task organization Sections include attendees, notes, and action items
7.29 € -6 % -
Mundakupunktur
39.62 € -
Breast Pathology: Diagnosis and Insights, An Issue of Surgical Pathology Clinics
91.71 € -
Measuring Economic Welfare
138.83 € -
Martin Scorsese's America
28.37 € -1 % -
The Hamm Rules on Relationships, Leadership, Community, and Love
16.91 € -24 % -
Adaptive Multimedia Retrieval: Retrieval, User, and Semantics
55.93 € -
Responsa Prudentum V2: Or Opinions of Pandits (1825)
38.30 € -1 % -
Posliednie Chasy Zhizni Imperatora Nikolaia Pervago
13.87 € -2 % -
Between the Lines: Secret Service Stories Told Fifty Years After
34.65 € -2 % -
Unitary Developmental Theory and Psychological Development Across the Lifespan, Volume 1
59.07 € -
Mathematical Foundations of Computer Science 1984
55.93 € -
New Perspectives on the History of Life Sciences and Agriculture
198.83 € -
Understanding German Real Estate Markets
70.53 € -
Protophysics of Time
168.02 € -
Annals of Theoretical Psychology
98.30 € -
Geodesia Fisica
20.36 € -18 % -
Edgar Reitz's Heimat
72.05 € -10 % -
KOA and the Art of Kamping
21.98 € -26 % -
Fluid Mechanics and Turbomachinery
103.87 € -
What Makes A Man Ur Friend?
9.82 € -6 % -
Die gegenwärtige Krise Europas
39.41 € -
PS Toolmaking/Month of Lunches
38.20 € -
Essays
29.99 € -7 % -
Stop Being Afraid! 5 Steps to Transform your Conversations about Racism: Lean in and Plant a Seed
22.59 € -7 % -
Making of German Democracy
98.30 € -12 % -
Reorganisation und Konzentration im Seeverkehr
16.21 € -10 % -
Lectures On The Art Of Reading, Part 2: The Art Of Reading Verse (1775)
31.51 € -
Polly Of Pebbly Pit
24.72 € -2 % -
History of the Prince of Wales's Own Civil Service Rifles
33.84 € -
Stepping Out of Line: Collected (Nonconformist) Essays on Russian-American Relations, 2008-12
20.87 € -7 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Methods and Testing
You get 135 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer programming / software development Software Engineering
55.93 €
- Full title: Formal Methods and Testing
- Subtitle: An Outcome of the FORTEST Network. Revised Selected Papers
- Author: Robert M. Hierons, Jonathan P. Bowen, Mark Harman
- Language: English
- Binding: Paperback
- Number of pages: 370
- EAN: 9783540789161
- ISBN: 3540789162
- ID: 01570095
- Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Weight: 594 g
- Dimensions: 157 × 235 × 27 mm
- Date of publishing: 08. April 2008
Trending among others
-
Clean Architecture
29.99 € -14 % -
Domain-Driven Design Distilled
32.72 € -14 % -
User Stories Applied
52.08 € -
Implementing Domain-Driven Design
59.89 € -2 % -
Forecasting Oracle Performance
51.07 € -
Escape Velocity
18.64 € -24 % -
Apprenticeship Patterns
29.89 € -
The Mythical Man-Month
44.38 € -9 % -
Software Engineering at Google
46.51 € -25 % -
Peopleware
42.45 € -9 % -
Clean Code
52.59 € -7 % -
Patterns of Enterprise Application Architecture
57.15 € -14 % -
Pro Git
51.27 € -
Cracking the Coding Interview
46.30 € -18 % -
Refactoring
53.40 € -5 % -
User Story Mapping
33.84 € -24 % -
The Clean Coder
46.81 € -10 % -
Test Driven Development
44.08 € -6 % -
Real-Time Collision Detection
140.66 € -
Exploratory Software Testing
43.67 € -2 % -
DevOps For Dummies
21.58 € -29 % -
Documenting Software Architectures
68.20 € -14 % -
Professional Scrum Master (PSM I) Guide
39.21 € -1 % -
Programming Elixir 1.6
44.18 € -19 % -
Mikado Method
49.45 € -5 % -
Software Requirements
35.56 € -24 % -
Working Effectively with Legacy Code
52.69 € -14 % -
Continuous Delivery
56.24 € -10 % -
Software Architect Elevator
45.90 € -26 % -
Expert Test Manager
35.46 € -25 % -
Talking with Tech Leads
22.69 € -6 % -
OCUP 2 Certification Guide
67.28 € -9 % -
Advanced Software Testing - Vol. 1, 2nd Edition
38.91 € -25 % -
Requirements Engineering Fundamentals
28.57 € -25 % -
Data Mesh
56.24 € -25 % -
Agile Samurai
33.23 € -20 % -
Storytelling in Design
40.33 € -24 % -
Managing the Testing Process - Practical Tools and Techniques for Managing Hardware and Software Testing 3e +Website
32.12 € -24 % -
Clean Agile
39.82 € -6 % -
Lessons Learned in Software Testing - A Context- Driven Approach
44.18 € -4 % -
Advanced Software Testing V 2. 2e
56.03 € -
Explore It!
28.06 € -20 % -
Design It! : Pragmatic Programmers
38.91 € -20 % -
Advanced Software Testing
58.67 € -
Head First Objects-Oriented Analysis and Design
49.35 € -24 % -
Software Estimation
32.12 € -24 % -
Art of Application Performance Testing 2e
32.12 € -24 % -
Kubernetes and Docker - An Enterprise Guide
53.70 € -1 % -
Managing the Unmanageable
41.85 € -2 %
Shopping guide
Books by language
Collection points Bratislava a 12122 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
24248 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)