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 Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Formal Methods and Software Engineering

20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings

Limba englezăengleză
Carte Carte broșată
Carte Formal Methods and Software Engineering Jing Sun
Codul Libristo: 20235109
Editura Springer Nature Switzerland AG, octombrie 2018
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engine... Descrierea completă
? points 132 b
286.77 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Subjektive Reichweite Internationaler Schiedsvereinbarungen Und Ihre Erstreckung in Der Unternehmensgruppe Jan-Michael Ahrens / Carte Copertă tare
common.buy 481.34 lei
Projet d'Un Chemin de Fer de Paris A Strasbourg Par Les Vallees de l'Oise & de l'Aisne. Creil, Nancy "" / Carte Carte broșată
common.buy 80.60 lei
Burgen in Schleswig-Holstein Oliver Auge / Carte Copertă tare
common.buy 162.67 lei
Le Capitaine Curebourse: Histoire Du Temps de Charles IX Ponson Du Terrail / Carte Carte broșată
common.buy 190.48 lei
Diktaturen in Europa im 20. Jahrhundert - der Fall DDR. Heiner Timmermann / Carte Carte broșată
common.buy 779.20 lei
sfida Patrick Süskind / Carte Copertă tare
common.buy 84.26 lei
Design Patterns mit Java Olaf Musch / Carte Carte broșată
common.buy 262.51 lei
Un approccio filologico all'inglese Mohammed Guamguami / Carte Carte broșată
common.buy 179.19 lei
Le chateau de Verneuil Adolphe Poujol / Carte Copertă tare
common.buy 174.17 lei

This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.

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 Formal Methods and Software Engineering
Autor Jing Sun, Meng Sun
Limba engleză
Legare Carte - Carte broșată
Data publicării 2018
Număr pagini 474
EAN 9783030024499
Codul Libristo 20235109
Editura Springer Nature Switzerland AG
Greutatea 753
Dimensiuni 155 x 235 x 27

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & 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

Republic lato / Carte Carte broșată
common.buy 90.11 lei
T. LIVII Patavini Historiarum Libri Qui Supersunt Omnes Et Deperditorum Fragmenta: Libri 7 - 23, Volume 2 Titus Livius / Carte Carte broșată
common.buy 148.66 lei
History Of Whitingham: From Its Organization To The Present Time (1886) Leonard Brown / Carte Copertă tare
common.buy 232.30 lei
Microbial Biofilms Dharumadurai Dhanasekaran / Carte Copertă tare
common.buy 867.13 lei
Devil's Charter Barnabe Barnes / Carte Copertă tare
common.buy 207.94 lei
Pierre Koenig - A View from the Archive Neil Jackson / Carte Copertă tare
common.buy 316.57 lei
The Invisible Organization: How Ingenious CEOs are Creating Thriving, Virtual Companies Mitch Russo / Carte Carte broșată
common.buy 106.84 lei
Bible Cure for Candida and Yeast Infections Don Colbert / Carte Carte broșată
common.buy 43.06 lei
Not Bobby - A Play N J Warburton / Carte Carte broșată
common.buy 83.42 lei
Fury in the Shadow Gil Howard / Carte Carte broșată
common.buy 85.72 lei
Stars Richard Dyer / Carte Carte broșată
common.buy 240.56 lei
Embellished Bras Dawn Devine / Carte Carte broșată
common.buy 121.69 lei
Early Christian Thought in its Jewish Context John M. G. BarclayJohn Philip McMurdo Sweet / Carte Carte broșată
common.buy 314.37 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