Kód: 18312709

Formal Methods: Foundations and Applications

Name: Formal Methods: Foundations and Applications
Brand: Springer International Publishing AG
SKU: 18312709
Price: 67.06 EUR
Availability: InStock
Author: Simone Cavalheiro
ISBN: 9783319708478

Autor Simone Cavalheiro, José Fiadeiro

Jazyk: Angličtina
Väzba: Brožovaná
Počet strán: 305
Nakladateľ: Springer International Publishing AG, 2017
Viac informácií o knihe

67.06 €

Bežne: 72.66 €

Ušetríte 5.60 €

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

Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Aktfotografie
37.72 € -6 %
Kúpiť
Count Belisarius
10.81 € -25 %
Kúpiť
Oliva Denaro
21.64 €
Kúpiť
The Cellar
10 € -24 %
Kúpiť
Bespelled
12.94 € -10 %
Kúpiť
Puzzle 1000 Paryż o świcie
6.16 € -9 %
Kúpiť
Healthy, My Way
23.36 € -25 %
Kúpiť
Odessa
15.26 € -21 %
Kúpiť
DRAZEN PETROVIC
23.96 €
Kúpiť
Animal Crossing
11.52 € -7 %
Kúpiť
Complete Encyclopedia of Angels
21.74 € -24 %
Kúpiť
Zulejka otwiera oczy wyd. 2023
10.21 € -8 %
Kúpiť
Mütter Europas
23.36 € -11 %
Kúpiť
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS
8.99 € -6 %
Kúpiť
German Realists in the Nineteenth Century
30.03 € -14 %
Kúpiť
Fondements D'Une Analyse Institutionnelle Comparee
37.92 €
Kúpiť
Shape-Preserving Approximation by Real and Complex Polynomials
51.68 € -7 %
Kúpiť
Green Technologies and Environmental Sustainability
205.74 € -7 %
Kúpiť
Man-made Famine in the Ukraine
9.30 € -25 %
Kúpiť
Un écologiste ne devrait pas dire cela
15.37 € -13 %
Kúpiť
Marx in Paris, 1871
34.89 € -19 %
Kúpiť
Nurse's Drug Guide 2024
84.56 €
Kúpiť
Strukturwandel der Öffentlichkeit
19.72 € -11 %
Kúpiť
Valérian, vu par... - Tome 0 - Shingouzlooz Inc
22.35 €
Kúpiť
This Wretched Splendour/Wild with All Regrets
16.68 € -1 %
Kúpiť
Evolutionary Theory
44.09 €
Kúpiť
Dämmersee
14.46 € -10 %
Kúpiť
Pilgrimage to the Caaba and Charing Cross. [With a Portrait.]
18.10 € -24 %
Kúpiť
Let Go of Whatever Makes You Stop
10.92 € -17 %
Kúpiť
INTRODUCCION A LA DINAMICA DE FLUIDOS
31.55 €
Kúpiť
The Commentary Of Ibn Ezra On Isaiah V1
46.32 € -1 %
Kúpiť
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski
12.33 € -7 %
Kúpiť
My Lady Caprice
14.76 € -2 %
Kúpiť
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards
18.30 € -7 %
Kúpiť
From Stone This Running
18.60 € -9 %
Kúpiť
Right Wife
12.43 € -18 %
Kúpiť
4 Detectives: Bromley Barnes / Trent's Last Stand / Kala Persad / Gallagher
27.40 €
Kúpiť
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE
68.78 € -6 %
Kúpiť
ITURBIDE DE MEXICO
28.31 €
Kúpiť
Ill Will
15.77 € -9 %
Kúpiť
Fluffy's Outdoor Adventure
6.87 € -6 %
Kúpiť
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung
53.10 € -7 %
Kúpiť
Web-Kommunikation MIT Opensource
47.23 € -6 %
Kúpiť
Il riassorbimento radicolare: Una revisione
44.50 € -14 %
Kúpiť
Living in the World
34.79 € -24 %
Kúpiť
Uncommon Arrangements
16.18 € -18 %
Kúpiť
De viaje. Bélgica e Inglaterra
14.35 €
Kúpiť
Journey to Mars: Blood is Forever
8.08 € -7 %
Kúpiť
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab
14.05 € -7 %
Kúpiť
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT
46.02 €
Kúpiť
The Custodian of Marvels
8.89 €
Kúpiť
Rwanda Genocide Stories
156.88 €
Kúpiť
Heavenly Angel Lay Lay Explains Why Aborted Babies Do Not Go to Heaven
15.57 €
Kúpiť
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment
49.86 € -14 %
Kúpiť
Nature-Notes and Impressions, in Prose and Verse
32.77 € -2 %
Kúpiť
Move Up the Mountain
18.30 € -7 %
Kúpiť
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion
15.77 € -7 %
Kúpiť
Activating God's Power in Tyler
9.80 € -6 %
Kúpiť
You Choose Stories: Field Trip Mysteries
168.82 € -9 %
Kúpiť
Childhood Regained: Canadian Schools Edition
15.77 €
Kúpiť
Hemingway
26.70 € -22 %
Kúpiť
Mathematical Structure of Finite Random Cybernetic Systems
51.68 € -7 %
Kúpiť
Frankie Finds A Friend
9.80 € -6 %
Kúpiť

Darčekový poukaz: Radosť zaručená

Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
Poukaz sa vzťahuje na všetky produkty v našej ponuke.
Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukaz Viac informácií

Viac informácií o knihe Formal Methods: Foundations and Applications

Parametre knihy
Anotácia kniha
Obľúbené z iného súdka

Nákupom získate 162 bodov

Anotácia knihy

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017. The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.