Boekenportaal Suriname | Bernhard Steffen

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles

Tiziana Margaria ; Bernhard Steffen

Reeks: Lecture Notes in Computer Science

ISBN: 9783031198489 , Paperback

Afwijkende levertijd: 6 tot 8 Dagen.

This four-volume set LNCS 13701-13704 constitutes contributions of the associated events held at the 11th International Symposium on Leveraging Applic

€ 99,00

Formal Methods for Industrial Critical Systems

Anne Remke ; Bernhard Steffen

Reeks: Lecture Notes in Computer Science

ISBN: 9783032009418 , Paperback

Afwijkende levertijd: 4 tot 6 Dagen.

€ 65,95

Leveraging Applications of Formal Methods, Verification and Validation. Specification and Verification

Tiziana Margaria ; Bernhard Steffen

Reeks: Lecture Notes in Computer Science

ISBN: 9783031753794 , Paperback

Afwijkende levertijd: 6 tot 8 Dagen.

The ISoLA 2024 proceedings constitutes contributions of the associated events held at the 12th International Symposium on Leveraging Applications of F

€ 89,95

Deadly Ranch Refuge

Amity Steffen

ISBN: 9781335400444 , Paperback

Nog niet verschenen Beschikbaar vanaf 26-5-2026

€ 19,95

Deadly Ranch Refuge

Amity Steffen

ISBN: 9781335957788 , Paperback

Nog niet verschenen Beschikbaar vanaf 26-5-2026

€ 11,95

Angel Thinking

Steffen Hartmann

ISBN: 9781915776297 , Paperback

Afwijkende levertijd: 6 tot 8 Dagen.

A study on the scientific basis of metaphysics and the possibility of communication with angels.

€ 19,95

Island in the Net

Steffen Kohn

ISBN: 9780691273136 , Hardcover

Afwijkende levertijd: 23 tot 25 Dagen.

€ 110,00

Deadly Ranch Refuge

Amity Steffen

ISBN: 9781335906762 , Paperback

Nog niet verschenen Beschikbaar vanaf 26-5-2026

€ 12,75

Søren Lerby

Steffen Pedersen

ISBN: 9789048874583 , Paperback

Afwijkende levertijd: 1 tot 2 Dagen.

Søren Lerby verliet Denemarken op zeventienjarige leeftijd om profvoetballer te worden in Nederland. Met zijn afgezakte sokken en genadeloze instellin

€ 21,99

Pompeii: A Personalized, Field Ready Guide for an Unforgettable Visit: Designed for a traveler, with practical flow, time management, and on the groun

Jennifer Bernhard

ISBN: 9798246712429 , Paperback

Afwijkende levertijd: 16 tot 18 Dagen.

€ 16,95

The Catholic Church and the Genesis of the Arab-Israeli Conflict

Bernhard Kronegger

ISBN: 9780813240701 , Hardcover

Nog niet verschenen Beschikbaar vanaf 26-6-2026

This book delves into the history of how the Catholic Church’s leadership, both in the Vatican and in the Latin Patriarchate of Jerusalem, responded t

€ 89,95

Native Bees of Australia: A Comprehensive Guide

Bernhard Jacobi

ISBN: 9781760796372 , Paperback

Afwijkende levertijd: 30 tot 32 Dagen.

With a warm climate, dry soil and an abundance of flowers, Australia is such a perfect place for bees that it has become a biodiversity hot-spot for t

€ 29,95