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

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

Paperback • 2003 • Norwegian 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

By Peder Lobben

0 Ratings • 0.0 of 5

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

About the book

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...Show more

Book details

ISBN

9783540205272

Publisher

Berlin : Springer

Published year

2003

Language

Norwegian Bokmål

Original title

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

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

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