The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

Norway

Region is based on IP address

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

Paperback • 2004 • Norwegian Bokmål

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electroni...Show more

Book details

ISBN

9783540231691

Publisher

Berlin : Springer

Published year

2004

Language

Norwegian Bokmål

Original title

Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

The It4it(tm) Standard, Version 3.0 A Reference Architecture for Managing Digital

The It4it(tm) Standard, Version 3.0 A Reference Architecture for Managing Digital

Software Architecture in Practice

Software Architecture in Practice

Len Bass

Event Stakeholders

Event Stakeholders

Canada) Getz Professor Donald (Professor Emeritus University of Calgary

Emergent Practices and Material Conditions in Learning and Teaching with Technologies

Emergent Practices and Material Conditions in Learning and Teaching with Technologies

Introduction to Computational Economics Using Fortran

Introduction to Computational Economics Using Fortran

University of Wuerzburg) Fehr Hans (Professor of Economics

Event Studies

Event Studies

Canada) Getz Donald (University of Calgary

Information and Communication Technologies in Tourism 2016

Information and Communication Technologies in Tourism 2016

Alessandro (EDT) Inversini

The Official Guide to the TOEFL Test + Official TOEFL iBT Tests, Volume 1

The Official Guide to the TOEFL Test + Official TOEFL iBT Tests, Volume 1

Educational Testing Service (COR)

Essentials of the Finite Element Method

Essentials of the Finite Element Method

Dimitrios G. Pavlou

Incident Response & Computer Forensics, Third Edition

Incident Response & Computer Forensics, Third Edition

Jason T. Luttgens

Quality and preformance excellence

Quality and preformance excellence

James Acaster

Foundations of software testing

Foundations of software testing

Rex Black,

Applied international trade

Applied international trade

Bowen, Hollander,

Electrochemical Science and Technology Fundamentals and Applications

Electrochemical Science and Technology Fundamentals and Applications

Keith Oldham

Secure and Resilent Software Development

Secure and Resilent Software Development

Mark Abrahamson

The Science and Clinical Application of Manual Therapy

The Science and Clinical Application of Manual Therapy

Open Source SOA

Open Source SOA

Jeff Davis

Foundations of Software Testing Fundamental Algorithms and Techniques

Foundations of Software Testing Fundamental Algorithms and Techniques

Aditya Mathur

Special event production

Special event production

Doug matthews

Special Event Production The Resources

Special Event Production The Resources

Doug Matthews

Microsoft Solutions Framework Essentials

Microsoft Solutions Framework Essentials

Michael S.V. Turner

Fundamentals of Logistics Management (European edition)

Fundamentals of Logistics Management (European edition)

Douglas M. Lambert

Electronic Commerce 2006

Electronic Commerce 2006

Efraim Turban

Fundamentals of Technology Project Management

Fundamentals of Technology Project Management

Colleen Garton

Experimental formats 2 : books, brochures, catalogs

Experimental formats 2 : books, brochures, catalogs

Roger Fawcett-Tang

Business information management : Improving Performance Using Information Systems

Business information management : Improving Performance Using Information Systems

Dave Chaffey

The internet, the web, and ebusiness

The internet, the web, and ebusiness

Kai A.

Executive's Guide to Web Services (SOA, Service-Oriented Architecture)

Executive's Guide to Web Services (SOA, Service-Oriented Architecture)

Eric A. Marks

Applied Computational Economics and Finance

Applied Computational Economics and Finance

Mario J. Miranda

Patterns of Enterprise Application Architecture

Patterns of Enterprise Application Architecture

Martin Fowler

Theory/theatre : an introduction

Theory/theatre : an introduction

Mark Fortier

Cryptographic hardware and embedded systems : CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

Cryptographic hardware and embedded systems : CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

Financial Performance

Financial Performance

Marc Bertoneche

JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice

Eric Freeman

The Formation of Inter-Organizational Networks

The Formation of Inter-Organizational Networks

Mark Ebers

Pattern Languages of Program Design 4 (Software Patterns Series)

Pattern Languages of Program Design 4 (Software Patterns Series)

Foote, Brian

Requirements Engineering: Processes and Techniques

Requirements Engineering: Processes and Techniques

Europe 2009

Europe 2009

K Ummerly

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Teaching English

Teaching English

Nell Ann