Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Slovenská pošta 3.99 € Zberné miesto DPD 2.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

FME '96: Industrial Benefit and Advances in Formal Methods

Name: FME '96: Industrial Benefit and Advances in Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 05274558
Price: 102.31 EUR
Availability: InStock
Author: Marie-Claude Gaudel
ISBN: 9783540609735

Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996. Proceedings.

Marie-Claude Gaudel

James Woodcock

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 05274558

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 1996

This book presents the refereed proceedings of the Third International Symposium of Formal Methods E... Celý popis

Libristo kód: 05274558

249 b

102.31 €

Skladom u dodávateľa Odosielame za 5-8 dní

Až 30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Att Skala Apelsiner James Lawless

Adobe ePub DRM

3.11 €

L'INVITATION SIMAR

Pevná

11.75 €

150 prières neuves... d'occasions Père Xavier Boog

Brožovaná

10.54 €

Einfuhrung in Die Regelungstechnik Werner Leonhard

Brožovaná

52.76 €

Libro blanco de la economa social en España BAREA TEJEIRO

Kniha

24.72 €

Cuestionarios Pinches Servicio Andaluz de Salud

Brožovaná

48.04 €

Niente di vero Veronica Raimo

Pevná

19.59 €

50 Mimarlik Fikri

Brožovaná

22.91 €

Die Perfektionismus-Falle Reinhold Ruthe

Brožovaná

8.53 €

Encens Japonais - Lavan - boîte 50 sticks

binding.

3.81 €

Nasz ostatni dzień wyd. 2023 Adam Silvera

Brožovaná

10.04 €

Encens Bâton Satya Karma 15 g

Hračka

3.11 €

Prisoner of the Rhine YOSHIKI TANAKA

Adobe ePub DRM

9.14 €

Prépabrevet Histoire-géo EMC 3e - Nouveau Brevet 2025 Marielle Chevallier

Brožovaná

16.27 €

Messerschmitt Bf 110 Story The Forsgren

Pevná

31.45 €

Biographie Universelle Bibliographie Generale de la Musique. [Vol. 8] (Ed.1866-1868) Francois-Joseph Fetis

Brožovaná

31.65 €

Коханий, Обраний та Цілі&#1089 Comfort Ladi Ogbe

Brožovaná

21.90 €

Post mortem. Cmentarze, kaplice, krypty. 99 nekromiejsc, które musisz zobaczyć przed śmiercią Agnes Tołoczmańska

Pevná

22.00 €

Nuit de Sainte-Helene, Heroide Sur Le Tombeau de Napoleon-Le-Grand BARGINET-A

Brožovaná

12.96 €

Aile Cay Bahcesi Yekta Kopan

Brožovaná

12.05 €

Es ist ein Has' entsprungen Robert Gernhardt

Pevná

17.88 €

La Guerra contro i Figli di Dio: La forza della Chiesa perseguitata Umberto Saba

Brožovaná

9.74 €

Götzen-Dämmerung Friedrich Nietzsche

Brožovaná

12.25 €

Svetovi Ljubezni: Najlepse Ljubezenske Zgodbe 1 Marija Pia Bonifina

Brožovaná

7.23 €

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations".The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R&D professional as well as from the academic viewpoint, and impressively documents the significant progress in the use of formal methods for the solution of real-world problems.