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 prevzemna mesta DPD in Express One.

Abstract State Machines, Alloy, B, TLA, VDM, and Z

6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler
Koda Libristo: 19315860
Založba Springer International Publishing AG, maj 2018
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State... Celoten opis
? points 118 b
48.57 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

77 magische Bilder, die dich stärker machen Hörndler Markus / Knjiga Mehka
common.buy 15.78 €
6 SONATES OP. 27 VIOLON EUGENE YSAYE Tiskani izdelki Note
common.buy 24.63 €
Propiedades y atributos de los objetos. educación infantil Venegas Rubiales / Knjiga Mehka
common.buy 10.75 €
La nouvelle vie d'Arsène Lupin Adrien Goetz / Knjiga Mehka
common.buy 8.24 €
Wenn Tiere kämpfen und Menschen Kriege führen Nikolas Bertheau / Knjiga Trda
common.buy 22.72 €
Pariisi - eroottinen novelli Cupido Cupido / E-knjiga Adobe ePub DRM
common.buy 5.42 €
Отрывной календарь "Третье сентября" на все времена. Фото-обложка с М. Шуфутинским / Knjiga Mehka
common.buy 19.30 €
Agytekerő - LDI 579 Madar Emőke / Knjiga Preglednica
common.buy 4.01 €
Verkehrsrecht Thomas Koch / Knjiga Mehka
common.buy 23.83 €
Detská obrázková encyklopédia pre najmenších / Knjiga Trda
common.buy 9.04 €
WEG - Kommentar Olaf Riecke / Knjiga Trda
common.buy 131.64 €
Tendencias recientes de algunos derivados del azol y su actividad biológica Fatma A. A. El-Hag / Knjiga Mehka
common.buy 38.32 €
Mission Creep Damian Lewis / Zvok Zvočni CD
common.buy 5.42 €
Cesta do sna Mia Dimšić / Knjiga Mehka
common.buy 14.88 €
La espiral comunicativa, educativa y migratoria para África David . . . [et al. ] García Martul / Knjiga Mehka
common.buy 15.88 €
Kraft in der Dehnung Kurt Mosetter / Knjiga Mehka
common.buy 13.47 €
Enzio Friedrich Huch / Knjiga Mehka
common.buy 25.03 €
Bedeutung Der Binnenschiffahrt Fur Die Deutsche Seeschiffahrt Theodor Cords / Knjiga Mehka
common.buy 31.77 €
Krimi auf der ganzen Welt - Die ganze Welt im Krimi Enrico Nitzsche / Knjiga Mehka
common.buy 33.38 €
Ghost Movie, 1 DVD Suzanne Hines / Film DVD
common.buy 12.37 €
Kmalu
Fack Ju Göhte, 2 Audio-CDs Jacob Weigert / Zvok Zvočni CD
common.buy 12.76 €
Facility Management in der Praxis Hannes Nimmerfall / Knjiga Mehka
common.buy 44.34 €
Investieren in der Ukraine Günther Lischka / Knjiga Mehka
common.buy 44.34 €
The Planets/Enigma Variations Adrian/LSO/LPO Boult / Zvok Zvočni CD
common.buy 8.94 €

This book constitutes the refereed proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, ABZ 2016, held in Southampton, UK, in June 2018. The 20 full and 11 short papers presented in this volume were carefully reviewed and selected from 60 submissions. They record the latest research developments in state-based formal methods Abstract State Machines, Alloy, B, Circus, Event-B, TLS+, VDM and Z.

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 Abstract State Machines, Alloy, B, TLA, VDM, and Z
Avtor Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2018
Število strani 432
EAN 9783319912707
ISBN 3319912704
Koda Libristo 19315860
Založba Springer International Publishing AG
Teža 682
Mere 155 x 235 x 24

Kategorije

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Artificial intelligence
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

Positional Therapy in Obstructive Sleep Apnea Nico De Vries / Knjiga Mehka
common.buy 113.54 €
Lie Groups, Lie Algebras, and Representations Brian Hall / Knjiga Mehka
common.buy 61.64 €
Practical TLA+ Hillel Wayne / Knjiga Mehka
common.buy 32.68 €
Be Honest--You'Re Not That into Him Either Ian Kerner / Zvočnica MP3
common.buy 8.24 €
Megamonster David Walliams / Zvočnica MP3
common.buy 10.55 €
WHY WE NEVER DANCED THE CHARLE Harlan Greene / Knjiga Trda
common.buy 22.93 €
Doubts: Was It Created? Or Did It Create Itself? Rafael Huguet Sr / Knjiga Mehka
common.buy 11.46 €
Aquaponics: How to Build Your Own Aquaponic System Celine Walker / Knjiga Mehka
common.buy 15.89 €
Top
Shipping Container Homes: The Beginners Guide to Building and Decorating Tiny Homes (With DIY Projects for Shipping Container Houses and Tiny Ho Erik Fishner / Knjiga Mehka
common.buy 12.56 €
Augustine, Later Works: Library Of Christian Classics, V8 St Augustine / Knjiga Trda
common.buy 46.07 €
The Epic Classroom: How to Boost Engagement, Make Learning Memorable, and Transform Lives Trevor Muir / Knjiga Mehka
common.buy 25.85 €
The Talon Duology - Titanchild Jen Williams / Knjiga Mehka
common.buy 10.05 €
How to Visit Venice: an Artistic and Illustrated Guide-book, Useful Advice to Tourists, Description of the City's Monuments and Art Galleri Quick Translation Services / Knjiga Trda
common.buy 34.10 €
Top
Essential 55 (Revised) Ron Clark / Knjiga Mehka
common.buy 15.08 €
Amazing Machines: Big Truckload of Fun Tony Mitton / Knjiga Mehka
common.buy 29.16 €
One Potato, Two Potato, Dead Lynn Cahoon / Knjiga Mehka
common.buy 15.68 €
Kmalu
What Do You Do if Your House is a Zoo? John Kelly / Knjiga Mehka
common.buy 7.13 €
Top
Beginner's Norwegian with Online Audio Laura Ziukaite-Hansen / Knjiga Mehka
common.buy 17.39 €
Makeover Belinda Julian / Knjiga Trda
common.buy 22.22 €
REFUNDING OF NATIONAL DEBT. STATEMENTS B UNITED STATES. CONGR / Knjiga Trda
common.buy 28.16 €
Life Reimagined Jill Halfpenny / Knjiga Mehka
common.buy 10.95 €
Vibration and Structural Acoustics Analysis C. M. A. Vasques / Knjiga Trda
common.buy 145.12 €
Predators Kenn Goin / Zvočnica MP3
common.buy 5.02 €
Lake Views Steven Weinberg / Knjiga Mehka
common.buy 26.94 €

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?