Nettbokhandelen for kjøp og salg av bøker.

Kom i gang

Lær å selge
Lær å kjøpe brukt
Kjøp pensumbøker
Logg inn eller registrer deg
Kjøp et gavekort
For forfattere

Kundeservice

Hjelp
Spor ordre
Brukervilkår
Personvernregler
Informasjonskapsler

Bookis

Om oss
Jobb hos oss!
Gi tilbakemelding
Sjangere

Kontakt oss

Rask levering med

Trygg betaling med

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

Norsk

Norge

Region er basert på IP-adresse

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

Pocket • 2004 • Norsk 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 vurderinger • 0.0 av 5

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

Om boken

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...Vis mer

Om boken

ISBN

9783540231691

Forlag

Berlin : Springer

Publiseringsår

2004

Språk

Norsk Bokmål

Originaltittel

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

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også 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