Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Methods: Foundations and Applications

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Methods: Foundations and Applications Simone Cavalheiro
Libristo kód: 18312709
Nakladatelství Springer International Publishing AG, listopad 2017
This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SB... Celý popis
? points 154 b
1 535 Kč
Skladem u dodavatele Odesíláme za 5-8 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Strukturwandel der Öffentlichkeit Jürgen Habermas / Kniha Brožovaná
common.buy 450 Kč
Web-Kommunikation MIT Opensource Claus Möbus / Kniha Pevná
common.buy 1 080 Kč
Dämmersee Ulrike Brauns / Kniha Brožovaná
common.buy 329 Kč
De viaje. Bélgica e Inglaterra Francisco Uzcanga Meinecke / Kniha Brožovaná
common.buy 347 Kč
Mütter Europas Karin Bojs / Kniha Pevná
common.buy 532 Kč
Zulejka otwiera oczy wyd. 2023 Guzel Jachina / Kniha Pevná
common.buy 243 Kč
Il riassorbimento radicolare: Una revisione Parul Bansal / Kniha Brožovaná
common.buy 1 014 Kč
Untersuchungen ber Die Reaktionszeit Bei Dauerbeobachtung Heinz Schmidtke / Kniha Brožovaná
common.buy 1 214 Kč
Fondements D'Une Analyse Institutionnelle Comparee Masahiko Aoki / Kniha Brožovaná
common.buy 919 Kč
Top
Oliva Denaro Viola Ardone / Kniha Brožovaná
common.buy 705 Kč
Puzzle 1000 Paryż o świcie / Hra/Hračka Hračka
common.buy 149 Kč
INTRODUCCION A LA DINAMICA DE FLUIDOS BATCHELOR / Kniha Brožovaná
common.buy 764 Kč
ITURBIDE DE MEXICO SPENCE ROBERTSON / Kniha Kniha
common.buy 685 Kč
Un écologiste ne devrait pas dire cela Lesaffre / Kniha Brožovaná
common.buy 350 Kč
5 WALTZES PIANO MUZIO CLEMENTI Kniha binding.
common.buy 600 Kč
LES CURATEURS DES CITES DANS LOCCIDENT ROMAIN DE TRAJAN A GALLIEN JACQUES FRANCOIS Kniha binding.
common.buy 1 075 Kč
Valérian, vu par... - Tome 0 - Shingouzlooz Inc Lupano Wilfrid / Kniha Pevná
common.buy 542 Kč
Le Raisonnement de l'ours Vincent Descombes / Kniha Brožovaná
common.buy 751 Kč
Top
Aktfotografie Hannes Caspar / Kniha Pevná
common.buy 863 Kč
Tafsir Ibn Kathir (Urdu): Tafsir Ibn Kathir (Urdu)Surah Qasas, Ankabut, Rome, Luqman, Sajdah, Ahzab Alama Imad Ud Din Ibn Kathir / Kniha Brožovaná
common.buy 340 Kč
DRAZEN PETROVIC JUAN FRANCISCO ESCUDERO / Kniha Brožovaná
common.buy 581 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Methods: Foundations and Applications
Autor Simone Cavalheiro, José Fiadeiro
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2017
Počet stran 305
EAN 9783319708478
ISBN 3319708473
Libristo kód 18312709
Nakladatelství Springer International Publishing AG
Váha 4803
Rozměry 155 x 235 x 18

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Green Technologies and Environmental Sustainability Sanjeev Kumar / Kniha Brožovaná
common.buy 4 707 Kč
You Choose Stories: Field Trip Mysteries Steve Brezenoff / Kniha Pevná
common.buy 3 880 Kč
Survival Of Patients Under Chronic HIV Care & Antiretroviral Treatment Tegiste Assefa Ayele / Kniha Brožovaná
common.buy 1 135 Kč
Move Up the Mountain JOYCE SOUTH BENNETT / Kniha Brožovaná
common.buy 444 Kč
The Holy Bible Douay-Rheims Version, ECCLESIASTICUS Douay Rheims / Kniha Brožovaná
common.buy 217 Kč
Journey to Mars: Blood is Forever Tim Conley / Kniha Brožovaná
common.buy 196 Kč
Wandering Words: A Collection Of Poetry and Humor by Bruce Kilarski Bruce L Kilarski / Kniha Brožovaná
common.buy 299 Kč
Childhood Regained: Canadian Schools Edition Jodie Renner / Kniha Brožovaná
common.buy 365 Kč
The Compassionate Animal: An Interfaith Guide to the Extended Circle of Compassion Barbara Gardner / Kniha Brožovaná
common.buy 382 Kč
Fluffy's Outdoor Adventure Shaley M Elle / Kniha Brožovaná
common.buy 166 Kč
Tennessee 4th Grade ELA Test Prep: Common Core Learning Standards Teachers' Treasures / Kniha Brožovaná
common.buy 444 Kč
Frankie Finds A Friend Paula-Michelle Trotter / Kniha Brožovaná
common.buy 237 Kč
Activating God's Power in Tyler Michelle Leslie / Kniha Brožovaná
common.buy 237 Kč
Shape-Preserving Approximation by Real and Complex Polynomials Sorin G. Gal / Kniha Pevná
common.buy 1 182 Kč
Man-made Famine in the Ukraine Robert Conquest / Kniha Brožovaná
common.buy 225 Kč
Mickelson Clarified Dictionary of Old Testament Hebrew, MCT Jonathan K. Mickelson / Kniha Brožovaná
common.buy 1 114 Kč
Living in the World Ronald C. Jantz / Kniha Pevná
common.buy 842 Kč
Marx in Paris, 1871 Olivier Besancenot / Kniha Pevná
common.buy 791 Kč
Animal Crossing Helmer Lud / Kniha Brožovaná
common.buy 264 Kč
Modern Concepts of Peripheral Nerve Repair Kirsten Haastert-Talini / E-kniha Adobe ePub DRM
common.buy 2 571 Kč
Healthy, My Way Nguyen / Kniha Pevná
common.buy 529 Kč
Nurse's Drug Guide 2024 Shields / Kniha Brožovaná
common.buy 2 046 Kč
Human Resource Management: Gaining a Competitive Advantage 2025 Release ISE John Hollenbeck / Kniha Brožovaná
common.buy 1 575 Kč
Bespelled Laura Thalassa / Kniha Brožovaná
common.buy 249 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?