Campagne de collecte 15 septembre 2024 – 1 octobre 2024
C'est quoi, la collecte de fonds?
recherche de livres
livres
recherche d'articles
articles
Campagne de collecte:
29.1% pourcents atteints
S'identifier
S'identifier
les utilisateurs autorisés sont disponibles :
recommandations personnelles
Telegram bot
historique de téléchargement
envoyer par courrier électronique ou Kindle
gestion des listes de livres
sauvegarder dans mes Favoris
Personnel
Requêtes de livres
Recherche
Revues
La participation
Faire un don
Litera Library
Faire un don de livres papier
Ajouter des livres papier
Ouvrir LITERA Point
Volume 201
Main
Science of Computer Programming
Volume 201
Science of Computer Programming
Volume 201
1
Validating, verifying and testing timed data-flow reactive systems in Coq from controlled natural-language requirements
Carvalho, Gustavo
,
Meira, Igor
Journal:
Science of Computer Programming
Année:
2021
Fichier:
PDF, 2.20 MB
Vos balises:
2021
2
Efficient testing of GUI applications by event sequence reduction
Yan, Jiwei
,
Zhou, Hao
,
Deng, Xi
,
Wang, Ping
,
Yan, Rongjie
,
Yan, Jun
,
Zhang, Jian
Journal:
Science of Computer Programming
Année:
2021
Fichier:
PDF, 2.72 MB
Vos balises:
2021
3
A family of multi-concept program synthesisers in Alloyâ
Correia, Alexandre
,
Iyoda, Juliano
,
Mota, Alexandre
Journal:
Science of Computer Programming
Année:
2021
Fichier:
PDF, 33 KB
Vos balises:
2021
4
Editorial Board
Journal:
Science of Computer Programming
Année:
2021
Fichier:
PDF, 2.13 MB
Vos balises:
2021
1
Suivez
ce lien
ou recherchez le bot "@BotFather" sur Telegram
2
Envoyer la commande /newbot
3
Entrez un nom pour votre bot
4
Spécifiez le nom d'utilisateur pour le bot
5
Copier le dernier message de BotFather et le coller ici
×
×