Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier Sameday 24.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

FM 2015: Formal Methods

20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte FM 2015: Formal Methods Nikolaj Bj?rner
Codul Libristo: 09277583
Editura Springer International Publishing AG, mai 2015
This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods... Descrierea completă
? points 132 b
284.91 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Happy House 3rd Edition 1 Class Audio CDs Stella Maidment / Audio Audio CD
common.buy 158.29 lei
Schnelle thermische Prozessierung von Cu(In, Ga)Se2-Schichten Christian Merk / Carte Carte broșată
common.buy 261.75 lei
JACK LONDON KOZA / Carte Copertă tare
common.buy 123.91 lei
Die Ritter Vom Geiste, Volumes 1-2 Karl Gutzkow / Carte Carte broșată
common.buy 173.46 lei
Programmierkurs TURBO-PASCAL Version 7.0 Henning Mittelbach / Carte Carte broșată
common.buy 286.78 lei
Italie - 50 itinéraires de rêve collegium / Carte Carte broșată
common.buy 180.62 lei
1972 Dr Gustav Keller / Carte Carte broșată
common.buy 42.99 lei
Elf Freunde müßt ihr sein . . . Sammy Drechsel / Carte Copertă tare
common.buy 75.30 lei
Die drei ??? und der schreiende Zug Andreas Ruch / Carte Copertă tare
common.buy 75.71 lei
Aquí yace la amargura Cynthia Fleury / E-book Adobe ePub DRM
common.buy 34.58 lei
Čti a hraj si s námi Ledové království / Carte Cărți pliante
common.buy 94.93 lei

This book constitutes the refereed proceedings of the 20th International Symposium on Formal Methods, FM 2015, held in Oslo, Norway, in June 2015. The 30 full papers and 2 short papers presented were carefully reviewed and selected from 124 submissions. The papers cover a wide spectrum of all the different aspects of the use of and the research on formal methods for software development.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet FM 2015: Formal Methods
Autor Nikolaj Bj?rner, Frank de Boer
Limba engleză
Legare Carte - Carte broșată
Data publicării 2015
Număr pagini 610
EAN 9783319192482
ISBN 3319192485
Codul Libristo 09277583
Editura Springer International Publishing AG
Greutatea 9358
Dimensiuni 155 x 235 x 235

Categorii

Computing & Information Technology > Computer science > Human–computer interaction > User interface design & usability
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
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
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

KombiFiD - Combined Firm Data for Germany. Joachim Wagner / Carte Carte broșată
common.buy 307.55 lei
Seven Deadly Sins of White Christian Nationalism Carter Heyward / Carte Carte broșată
common.buy 162.86 lei
Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts Oliver Schlaudt / Carte Copertă tare
common.buy 794.92 lei
Mind Diet for Beginners: 85 Recipes and a 7-Day Kickstart Plan to Boost Your Brain Health Kelli McGrane / Carte Carte broșată
common.buy 79.56 lei
Once Upon A Rhyme Julie Murrow / Carte Carte broșată
common.buy 31.98 lei
Federal Civil Penalties Inflation Adjustment Act Catch-Up Adjustments (US Occupational Safety and Health Administration Regulation) (OSHA) (2018 Editi The Law Library / Carte Carte broșată
common.buy 105.73 lei
Philosophy of Law Kant Immanuel Kant / Carte Carte broșată
common.buy 128.69 lei
Falstaff: Give Me Lifevolume 1 Harold Bloom / Carte Carte broșată
common.buy 71.56 lei
Thomas Merton and the Inclusive Imagination Ross Labrie / Carte Copertă tare
common.buy 291.97 lei
The 22-Day Revolution Marco Borges / Carte Copertă tare
common.buy 141.67 lei
To See My World In Rhythm And Rhyme Thomas Wayne Allen / Carte Carte broșată
common.buy 86.72 lei
Technology in Retrospect Michael J. Berson / Carte Carte broșată
common.buy 339.55 lei
Fallows Aaron Ross / Carte Copertă tare
common.buy 154.65 lei
Pip and Posy: The Bedtime Frog Axel Scheffler / Carte Copertă tare
common.buy 56.50 lei
Total Heart Health Robert Schneider / Carte Carte broșată
common.buy 83.50 lei
Manners of Interpretation Miguel Tamen / Carte Carte broșată
common.buy 218.43 lei
Hegel Reader Stephen Houlgate / Carte Copertă tare
common.buy 840.11 lei
Writer's Roadmap Wendell Wellman / Carte Carte broșată
common.buy 79.14 lei
Happily Ever After Annette Morris / Carte Carte broșată
common.buy 67.09 lei
Silent Scream Sandra A Jones / Carte Carte broșată
common.buy 116.53 lei
Little Joseph H Easley / Carte Copertă tare
common.buy 133.05 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?