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 methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Pocket • 2003 • Norsk Bokmål

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

Av Peder Lobben

0 vurderinger • 0.0 av 5

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

Om boken

This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18-21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute's10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, righ...Vis mer

Om boken

ISBN

9783540205272

Forlag

Berlin : Springer

Publiseringsår

2003

Språk

Norsk Bokmål

Originaltittel

Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers

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

Software Architecture in Practice

Software Architecture in Practice

Len Bass

Righting Software

Righting Software

Juval Löwy

Event Stakeholders

Event Stakeholders

Canada) Getz Professor Donald (Professor Emeritus University of Calgary

Agile Technical Practices Distilled

Agile Technical Practices Distilled

Pedro M. Santos

Knowledge Management in Organizations

Knowledge Management in Organizations

Donald (Loughborough University) Hislop

Reflexive Methodology

Reflexive Methodology

Mats Alvesson

Text + Field Innovations in Rhetorical Method

Text + Field Innovations in Rhetorical Method

Sara Lynn McKinnon

Revolutionizing Innovation

Revolutionizing Innovation

A Critical Introduction to Scientific Realism

A Critical Introduction to Scientific Realism

Germany) Dicken Paul (Ludwig-Maximilians-Universitat

Event Studies

Event Studies

Canada) Getz Donald (University of Calgary

International Relations Theories

International Relations Theories

Managing Inter-Organizational Relations

Managing Inter-Organizational Relations

Jorg Sydow

An Introduction to Design Science

An Introduction to Design Science

Paul Johannesson

Management for progress

Management for progress

Jonny Holbek

Research Methods in Information

Research Methods in Information

Alison Jane Pickard

Software Engineering 9

Software Engineering 9

Ian Sommerville

Against method

Against method

Paul Feyerabend

Methodology for creating business knowledge

Methodology for creating business knowledge

Ingemar Arbnor

Going Beyond the Theory/Practice Divide in Early Childhood Education

Going Beyond the Theory/Practice Divide in Early Childhood Education

Hillevi Lenz Taguchi

Methods of Human Rights Research

Methods of Human Rights Research

Fons (EDT) Coomans

Foundations of Software Testing Fundamental Algorithms and Techniques

Foundations of Software Testing Fundamental Algorithms and Techniques

Aditya Mathur

Formal logic - a guided tour

Formal logic - a guided tour

Herman Ruge Jervell

Software Conflict 2.0 The Art and Science of Software Engineering

Software Conflict 2.0 The Art and Science of Software Engineering

Robert L. Glass

Fundamentals of Technology Project Management

Fundamentals of Technology Project Management

Colleen Garton

Qualitative Methodology for International Pub…

Qualitative Methodology for International Pub…

Lars Owe Dahlgren (Ed )

Design Research: Methods and Perspectives

Design Research: Methods and Perspectives

Brenda Laurel

Software Engineering Processes

Software Engineering Processes

Philippe Kruchten

Software Craftsmanship The New Imperative

Software Craftsmanship The New Imperative

Pete McBreen

Function point analysis

Function point analysis

Garmus, David

Pattern Languages of Program Design 4 (Software Patterns Series)

Pattern Languages of Program Design 4 (Software Patterns Series)

Foote, Brian

The Formation of Inter-Organizational Networks

The Formation of Inter-Organizational Networks

Mark Ebers

Developing Software with UML Object-oriented Analysis and Design in Practice

Developing Software with UML Object-oriented Analysis and Design in Practice

Bernd Oestereich

Future Organizational Design

Future Organizational Design

Groth, Lars

Analysis patterns

Analysis patterns

Fowler,Martin

Mathematical Thinking and Problem Solving (Studies in Mathematical Thinking and Learning Series)

Mathematical Thinking and Problem Solving (Studies in Mathematical Thinking and Learning Series)

Alan H. Schoenfeld

The Practice of Theory

The Practice of Theory

Keith Moxey

Formal Logic

Formal Logic

Jeffrey, Richard C.

Professions in Theory and History

Professions in Theory and History

Michael Burrage

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Formal Theories in International Relations

Formal Theories in International Relations

Michael Nicholson