Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Formal Methods: Foundations and Applications

18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Formal Methods: Foundations and Applications Márcio Cornélio
Koda Libristo: 02893181
Založba Springer International Publishing AG, januar 2016
This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods,... Celoten opis
? points 95 b
39.14 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Orkus - Reise zu den Toten Gerhard Roth / Knjiga Mehka
common.buy 21.13 €
Nouvelles Et Galanteries Chinoises Tome 2 De Villedieu-M-C-H / Knjiga Mehka
common.buy 20.22 €
Du Cholera-Morbus, Ou de l'Asthenie Des Organes Gastriques BOUMARD-A / Knjiga Mehka
common.buy 13.04 €
Barneko Liburua (Fihi Ma Fihi) Rumi / Knjiga Trda
common.buy 19.61 €
Synthese von neuen Ibuprofen-Derivaten Rafea Almajeed / Knjiga Mehka
common.buy 27.71 €
DSA4 - Wege der Zauberei (remastered) Anton Weste / Knjiga Mehka
common.buy 47.23 €

This book§constitutes revised selected papers from the 18 th Brazilian Symposium§on Formal Methods, SBMF 2015, which took place in Belo Horizonte, MG, Brazil,§in September 2015.§§The 11 papers presented in this volume were carefully reviewed and selected§from 25 submissions. They were organized in topical sections named: model§checking; languages and semantics; refinement and verification; testing and§evaluation.§

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Formal Methods: Foundations and Applications
Avtor Márcio Cornélio, Bill Roscoe
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2016
Število strani 195
EAN 9783319294728
ISBN 3319294725
Koda Libristo 02893181
Založba Springer International Publishing AG
Teža 3343
Mere 155 x 235 x 10

Kategorije

Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Practising Interdisciplinarity Nico Stehr / Knjiga Trda
common.buy 107.12 €
Message of the President of the United States and Accompanying Documents, Etc, Volume 1, Part 12 United States War Dept / Knjiga Trda
common.buy 41.77 €
Make Your Own Game Apps - For Kids: Make Your Own Game Apps - For Kids Krishna Balwalli / Knjiga Mehka
common.buy 14.05 €
Learning Fractions Using LEGO Bricks: Student Edition Dr Shirley Disseler / Knjiga Mehka
common.buy 15.06 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?