Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

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

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Abstract State Machines, Alloy, B, TLA, VDM, and Z Michael Butler
Libristo kod: 19315860
Nakladnici Springer International Publishing AG, svibanj 2018
This book constitutes the refereed proceedings of the 6th International Conference on Abstract State... Cijeli opis
? points 125 b
51.32 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

77 magische Bilder, die dich stärker machen Hörndler Markus / Knjiga Meki uvez
common.buy 16.77 €
6 SONATES OP. 27 VIOLON EUGENE YSAYE Tiskanica Note
common.buy 25.81 €
Propiedades y atributos de los objetos. educación infantil Venegas Rubiales / Knjiga Meki uvez
common.buy 11.24 €
La nouvelle vie d'Arsène Lupin Adrien Goetz / Knjiga Meki uvez
common.buy 8.53 €
Wenn Tiere kämpfen und Menschen Kriege führen Nikolas Bertheau / Knjiga Tvrdi uvez
common.buy 24.00 €
Pariisi - eroottinen novelli Cupido Cupido / E-knjiga Adobe ePub DRM
common.buy 5.72 €
Отрывной календарь "Третье сентября" на все времена. Фото-обложка с М. Шуфутинским / Knjiga Meki uvez
common.buy 20.48 €
Agytekerő - LDI 579 Madar Emőke / Knjiga List
common.buy 4.01 €
Verkehrsrecht Thomas Koch / Knjiga Meki uvez
common.buy 25.20 €
Detská obrázková encyklopédia pre najmenších / Knjiga Tvrdi uvez
common.buy 9.53 €
WEG - Kommentar Olaf Riecke / Knjiga Tvrdi uvez
common.buy 139.22 €
Tendencias recientes de algunos derivados del azol y su actividad biológica Fatma A. A. El-Hag / Knjiga Meki uvez
common.buy 40.69 €
Mission Creep Damian Lewis / Audio Audio CD
common.buy 6.32 €
Cesta do sna Mia Dimšić / Knjiga Meki uvez
common.buy 15.82 €
La espiral comunicativa, educativa y migratoria para África David . . . [et al. ] García Martul / Knjiga Meki uvez
common.buy 16.66 €
Kraft in der Dehnung Kurt Mosetter / Knjiga Meki uvez
common.buy 14.35 €
Enzio Friedrich Huch / Knjiga Meki uvez
common.buy 26.61 €
Bedeutung Der Binnenschiffahrt Fur Die Deutsche Seeschiffahrt Theodor Cords / Knjiga Meki uvez
common.buy 33.64 €
Krimi auf der ganzen Welt - Die ganze Welt im Krimi Enrico Nitzsche / Knjiga Meki uvez
common.buy 35.45 €
Ghost Movie, 1 DVD Suzanne Hines / Video DVD
common.buy 13.05 €
Pripremamo
Fack Ju Göhte, 2 Audio-CDs Jacob Weigert / Audio Audio CD
common.buy 13.35 €
Facility Management in der Praxis Hannes Nimmerfall / Knjiga Meki uvez
common.buy 46.80 €
Investieren in der Ukraine Günther Lischka / Knjiga Meki uvez
common.buy 46.80 €
The Planets/Enigma Variations Adrian/LSO/LPO Boult / Audio Audio CD
common.buy 9.33 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Abstract State Machines, Alloy, B, TLA, VDM, and Z
Autor Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2018
Broj stranica 432
EAN 9783319912707
ISBN 3319912704
Libristo kod 19315860
Nakladnici Springer International Publishing AG
Težina 682
Dimenzije 155 x 235 x 24

Kategorija

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
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Positional Therapy in Obstructive Sleep Apnea Nico De Vries / Knjiga Meki uvez
common.buy 120.03 €
Lie Groups, Lie Algebras, and Representations Brian Hall / Knjiga Meki uvez
common.buy 65.18 €
Practical TLA+ Hillel Wayne / Knjiga Meki uvez
common.buy 34.85 €
Be Honest--You'Re Not That into Him Either Ian Kerner / Audio knjiga MP3
common.buy 8.73 €
Megamonster David Walliams / Audio knjiga MP3
common.buy 11.14 €
WHY WE NEVER DANCED THE CHARLE Harlan Greene / Knjiga Tvrdi uvez
common.buy 24.41 €
Doubts: Was It Created? Or Did It Create Itself? Rafael Huguet Sr / Knjiga Meki uvez
common.buy 12.05 €
Aquaponics: How to Build Your Own Aquaponic System Celine Walker / Knjiga Meki uvez
common.buy 16.77 €
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 Meki uvez
common.buy 13.25 €
Augustine, Later Works: Library Of Christian Classics, V8 St Augustine / Knjiga Tvrdi uvez
common.buy 48.33 €
The Epic Classroom: How to Boost Engagement, Make Learning Memorable, and Transform Lives Trevor Muir / Knjiga Meki uvez
common.buy 27.22 €
The Talon Duology - Titanchild Jen Williams / Knjiga Meki uvez
common.buy 10.74 €
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 Tvrdi uvez
common.buy 35.66 €
Top
Essential 55 (Revised) Ron Clark / Knjiga Meki uvez
common.buy 16.06 €
Amazing Machines: Big Truckload of Fun Tony Mitton / Knjiga Meki uvez
common.buy 31.03 €
One Potato, Two Potato, Dead Lynn Cahoon / Knjiga Meki uvez
common.buy 16.66 €
Pripremamo
What Do You Do if Your House is a Zoo? John Kelly / Knjiga Meki uvez
common.buy 7.62 €
Top
Beginner's Norwegian with Online Audio Laura Ziukaite-Hansen / Knjiga Meki uvez
common.buy 17.37 €
Makeover Belinda Julian / Knjiga Tvrdi uvez
common.buy 23.70 €
REFUNDING OF NATIONAL DEBT. STATEMENTS B UNITED STATES. CONGR / Knjiga Tvrdi uvez
common.buy 29.53 €
Life Reimagined Jill Halfpenny / Knjiga Meki uvez
common.buy 11.74 €
Vibration and Structural Acoustics Analysis C. M. A. Vasques / Knjiga Tvrdi uvez
common.buy 153.28 €
Predators Kenn Goin / Audio knjiga MP3
common.buy 5.32 €
Lake Views Steven Weinberg / Knjiga Meki uvez
common.buy 28.42 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun
Književni savjetnik Libroamiko
Dobar dan, ja sam Libroamiko, mogu li vam pomoći?