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

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

Pocket • 2004 • Norsk Bokmål

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 2004 : proceedings

0 vurderinger • 0.0 av 5

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

Om boken

This volume contains the proceedings of the 24th IFIP TC 6/WG 6.1 Inter- tionalConference onFormalTechniquesfor Networkedand Distributed Systems (FORTE 2004),held in Madrid, Spain, September 27-30,2004.FORTE denotes a series of international working conferences on formal description techniques applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a second series under the name FORTE was set up. Both series were united to FORTE/PS...Vis mer

Om boken

ISBN

9783540232520

Forlag

Berlin : Springer

Publiseringsår

2004

Språk

Norsk Bokmål

Originaltittel

Formal techniques for networked and distributed systems - FORTE 2004 : 24th IFIP WG 6.1 international conference, Madrid, Spain, September 27-30, 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

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Application and Theory of Petri Nets and Concurrency 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings

Luca Bernardinello

Datacommunications and Networking

Datacommunications and Networking

Behrouz A.

ITIL 4 Exam Prep Questions, Answers & Explanations

ITIL 4 Exam Prep Questions, Answers & Explanations

Christopher Scordo

Networking Fundamentals

Networking Fundamentals

Gordon Davies

Introduction to Computational Economics Using Fortran

Introduction to Computational Economics Using Fortran

University of Wuerzburg) Fehr Hans (Professor of Economics

Knowledge Management in Organizations

Knowledge Management in Organizations

Donald (Loughborough University) Hislop

It Infrastructure Architecture - Infrastructure Building Blocks and Concepts Third Edition

It Infrastructure Architecture - Infrastructure Building Blocks and Concepts Third Edition

Sjaak Laan

International Financial Management

International Financial Management

Jeff (Florida Atlantic University) Madura

Information and Communication Technologies in Tourism 2016

Information and Communication Technologies in Tourism 2016

Alessandro (EDT) Inversini

THEORY BOOK IT INTRO

THEORY BOOK IT INTRO

Alf Inge

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Introduction to Programming with Fortran With Coverage of Fortran 90, 95, 2003, 2008 and 77

Ian Chivers

Network Security Essentials

Network Security Essentials

William stallings

Fluency With Information Technology: Global Edition

Fluency With Information Technology: Global Edition

Lawrence Snyder

Computer Networks

Computer Networks

Revd Frank Joseph Andrews D.D. B.Ed (Hons)

Introduction to computer security

Introduction to computer security

Michael T.

Software Engineering 9

Software Engineering 9

Ian Sommerville

Digital Fundamentals : International Edition

Digital Fundamentals : International Edition

Thomas L. Floyd

Formulas in mechanics

Formulas in mechanics

Fridtjov Irgens

Foundations of Software Testing Fundamental Algorithms and Techniques

Foundations of Software Testing Fundamental Algorithms and Techniques

Aditya Mathur

Beards Massage

Beards Massage

Giovanni De

Technologies and Systems for Access and Transport Networks

Technologies and Systems for Access and Transport Networks

Jan A. Audestad

Digital fundamentals

Digital fundamentals

Thomas L. Aall

Microsoft Solutions Framework Essentials

Microsoft Solutions Framework Essentials

Michael S.V. Turner

Experimental formats 2 : books, brochures, catalogs

Experimental formats 2 : books, brochures, catalogs

Roger Fawcett-Tang

Computer Networking

Computer Networking

Keith W. Ross

Project Management and Project Network Techniques

Project Management and Project Network Techniques

Lockyer, Keith; Gordon, Prof James

Computer Networking A Top-down Approach Featuring the Internet

Computer Networking A Top-down Approach Featuring the Internet

James F. Kurose

Theory/theatre : an introduction

Theory/theatre : an introduction

Mark Fortier

Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

Pattern-Oriented Software Architecture, Patterns for Concurrent and Networked Objects

Douglas C. Schmidt

Microsoft Internet information services 5.0

Microsoft Internet information services 5.0

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

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

JavaSpaces Principles, Patterns, and Practice

JavaSpaces Principles, Patterns, and Practice

Eric Freeman

Fortapt

Fortapt

Gary Devon

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Computers and Information Systems

Computers and Information Systems

Timothy J. O'Leary