Del 11852
Theoretical Aspects of Software Engineering
16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings
AvYamine Aït-Ameur,Florin Crăciun
Häftad, Engelska, 2022
Del 13299 i serien Lecture Notes in Computer Science
966 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Fler format och utgåvor
Beskrivning
This book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Mer från samma författare
Del 14784
Engineering of Complex Computer Systems
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Häftad, 2024
853 kr
Engineering of Complex Computer Systems
George A. Papadopoulos, Yamine Ait-Ameur, Fuyuki Ishikawa, Guangdong Bai
E-bok
20241 067 kr
Del 433
ABZ 2014: The Landing Gear Case Study
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Häftad, 2014
571 kr
ABZ 2014: The Landing Gear Case Study
Klaus-Dieter Schewe, Yamine Ait Ameur, Virginie Wiels, Frederic Boniol
E-bok
2014732 kr
Del 8748
Model and Data Engineering
Yamine Ait Ameur, Ladjel Bellatreche, George A. Papadopoulos
Häftad, 2014
571 kr
Model and Data Engineering
George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur
E-bok
2014739 kr
Del 9893
Model and Data Engineering
Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur
Häftad, 2016
571 kr
Hoppa över listan
Mer från samma serie
Multiobjective Optimization
Jürgen Branke, Kalyanmoy Deb, Kaisa Miettinen, Roman Slowiński
Häftad, 2008
554 kr
Del 16297
Knowledge Graphs
Hideaki Takeda, Yannis Tzitzikas, Giorgos Flouris, Shizhu He, Dimitris Plexousakis, Sébastien Ferré, Ran Yu, Vasilis Efthymiou, Eleni Ilkou, Ernesto Jiménez-Ruiz, Xin Wang
Häftad, 2026
932 kr
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
571 kr
- Nyhet
Del 16693
Advanced Parallel Processing Technologies
Lieven Eeckhout, Chao Li, Zhibin Yu, Avi Mendelson
Häftad, 2026
1 022 kr
Del 16832
Progress in Cryptology - AFRICACRYPT 2026
Nadia El Mrabet, Loubna Ghammam, Francisco Rodríguez-Henríquez
Häftad, 2026
932 kr
- Nyhet
Electronic Participation
David Duenas-Cid, Gregor Eibl, Lieselot Danneels, Michael Koddebusch, Edimara Mezzomo Luciano, Gianluca Carlo Misuraca, Gerhard Schwabe, Teta Stamati, Leif Sundberg, Peter Parycek
Häftad, 2026
730 kr
Del 12051
Sustainable Digital Communities
Anneli Sundqvist, Gerd Berget, Jan Nolin, Kjell Ivar Skjerdingstad
Häftad, 2020
1 071 kr
Types for Proofs and Programs
Thierry Coquand, Peter Dybjer, Bengt Nordström, Jan Smith
Häftad, 2000
571 kr
Hoppa över listan
Du kanske också är intresserad av
- 10% rabatt på allt
Del 9893
Model and Data Engineering
Ladjel Bellatreche, Óscar Pastor, Jesús M. Almendros Jiménez, Yamine Aït-Ameur
Häftad, 2016
571 kr
Del 14784
Engineering of Complex Computer Systems
Guangdong Bai, Fuyuki Ishikawa, Yamine Ait-Ameur, George A. Papadopoulos
Häftad, 2024
853 kr
Del 433
ABZ 2014: The Landing Gear Case Study
Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe
Häftad, 2014
571 kr
Model and Data Engineering
Yamine Ait-Ameur, Jesus M. Almendros Jimenez, Oscar Pastor, Ladjel Bellatreche
E-bok
2016732 kr
Abstract State Machines, Alloy, B, TLA, VDM, and Z
Klaus-Dieter Schewe, Yamine Ait Ameur
E-bok
2014739 kr
Model and Data Engineering
George A. Papadopoulos, Ladjel Bellatreche, Yamine Ait Ameur
E-bok
2014739 kr
ABZ 2014: The Landing Gear Case Study
Klaus-Dieter Schewe, Yamine Ait Ameur, Virginie Wiels, Frederic Boniol
E-bok
2014732 kr